Fork of the domjudge programming contest judge incorporating local modifications for the KIT. (git://a-eskwadraat.nl/git/domjudge.git)