Hide "compilation output" button until we have any output to show.#2805
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Nov 17, 2024
Merged
Hide "compilation output" button until we have any output to show.#2805meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom
