Closed TPolzer closed 6 years ago
Oops, referenced the wrong issue.
Which version of DOMjudge are you using? If running from git checkout, did you run the make dist
as specified in https://www.domjudge.org/docs/admin-manual-10.html#ss10.1 ?
I'm running from git checkout, yes. I didn't even notice that section of the manual exists I have to admit.