Closed maartenberg closed 4 years ago
This PR adds tasks to ensure that we set the cmdline parameters that Domjudge apparently needs by adding a new dropin that overrides the cmdline set by DigitalOcean.
Fixes #1
This PR adds tasks to ensure that we set the cmdline parameters that Domjudge apparently needs by adding a new dropin that overrides the cmdline set by DigitalOcean.
Fixes #1