DOMjudge/domjudge — pull request #140 by rf232 (2014-09-24 22:47:14+00:00)
Title: Update admin manual about chroot

- mono 'just works' in chroot
- java isn't the only language in the world that needs a chroot