Clean up mentions of external ID on submission page.#3077
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Sep 7, 2025
Merged
Clean up mentions of external ID on submission page.#3077meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom
