descriptionDOMjudge-scripts
ownerDOMjudge
last changeSun, 16 Dec 2018 12:27:29 +0000 (13:27 +0100)
shortlog
29 hours ago Thijs KinkhorstUpdate for changed composer makefile target master
2 days ago Thijs KinkhorstDOMjudge 6.0.3
2018-11-24 Thijs KinkhorstFix hamburger menu on mobile
2018-11-23 Thijs KinkhorstFix website icons since octicons is no longer available
2018-11-06 Jaap ElderingInstall local DEB packages via an include and file...
2018-11-04 Jaap ElderingInstall SSL certificates generically from directory.
2018-11-04 Jaap ElderingMove common auto-login stuff to common_tasks_prebuild...
2018-11-04 Jaap ElderingDelete some pre-ansible stuff already incorporated...
2018-11-04 Jaap ElderingDon't try to clear symfony cache on judgehosts.
2018-11-04 Jaap ElderingOnly copy in lib/vendor if present locally.
2018-11-04 Jaap ElderingAllow installing extra DEB packages into domserver...
2018-11-04 Jaap ElderingAdd default JDK package.
2018-11-04 Jaap ElderingOnly try to set the CPU governor when available.
2018-11-04 Jaap ElderingOnly set domjudge account password when variable is...
2018-11-04 Jaap ElderingUse a configuration variable to set the git branch...
2018-11-04 Jaap ElderingRename variable DJDIR to DJ_DIR for consistency.
...
tags
7 weeks ago pre-new-scoreboard-api-format
heads
29 hours ago master
13 months ago nwerc2017