| Thu, 04 Oct 2018 15:06:09 +0200 | Lars Hupel | use correct hostname | file | diff | annotate |
| Thu, 04 Oct 2018 14:52:50 +0200 | Lars Hupel | Jenkins: detect machine; adjust job parameters accordingly | file | diff | annotate |
| Tue, 26 Jun 2018 15:16:22 +0200 | Lars Hupel | support NUMA shuffling in CI | file | diff | annotate |
| Fri, 20 Apr 2018 11:41:09 +0200 | wenzelm | workaround for jdk-10.0.1; | file | diff | annotate |
| Fri, 07 Apr 2017 13:07:43 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 07 Apr 2017 10:47:25 +0200 | wenzelm | explicit Sessions.Selection; | file | diff | annotate |
| Thu, 06 Apr 2017 22:04:30 +0200 | wenzelm | clarified signature: tree structure is not essential; | file | diff | annotate |
| Mon, 27 Feb 2017 00:00:28 +0100 | wenzelm | clarified defaults; | file | diff | annotate |
| 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 |