| Tue, 18 Oct 2016 16:48:41 +0200 | Lars Hupel | Jenkins: build in system mode again | file | diff | annotate |
| Tue, 18 Oct 2016 15:57:34 +0200 | Lars Hupel | Jenkins: configurable clean build | file | diff | annotate |
| Sat, 15 Oct 2016 21:08:04 +0200 | wenzelm | clarified hg.id operation, with explicit tip as default; | file | diff | annotate |
| Sat, 15 Oct 2016 10:45:55 +0200 | Lars Hupel | Jenkins: don't build in system mode | file | diff | annotate |
| Wed, 12 Oct 2016 11:48:53 +0200 | wenzelm | modernized; | file | diff | annotate |
| Wed, 12 Oct 2016 09:38:20 +0200 | wenzelm | clarified files; | file | diff | annotate | base |