Skip to content

Load language config from parent of problem dir, if present #178#367

Merged
pehrsoderman merged 1 commit intoKattis:masterfrom
gkreitz:178_repository_local_languages_yaml
Nov 17, 2025
Merged

Load language config from parent of problem dir, if present #178#367
pehrsoderman merged 1 commit intoKattis:masterfrom
gkreitz:178_repository_local_languages_yaml

Commits

Commits on Nov 17, 2025