| Tue, 17 Dec 2019 15:04:29 +0100 | wenzelm | more robust: support /usr/local/bin/hg; | file | diff | annotate |
| Sun, 04 Mar 2018 15:10:11 +0100 | wenzelm | consolidated main cronjob server on virtual machine together with build_log database; | file | diff | annotate | base |