Skip to content

Fix compiler error reporting for empty source file sets.#2795

Merged
meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT:emptyfilter
Nov 14, 2024
Merged

Fix compiler error reporting for empty source file sets.#2795
meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT:emptyfilter

Commits

Commits on Nov 13, 2024