Add warning message in case the judgehost is not enabled.#2737
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Oct 5, 2024
Merged
Add warning message in case the judgehost is not enabled.#2737meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom
