| Tue, 09 May 2017 19:57:04 +0200 | wenzelm | obsolete; | file | diff | annotate |
| Fri, 05 May 2017 18:35:30 +0200 | wenzelm | legacy version for Jenkins website; | file | diff | annotate |
| Sat, 24 Sep 2016 15:56:54 +0200 | Lars Hupel | include generation time in statistics | file | diff | annotate |
| Sat, 24 Sep 2016 15:33:55 +0200 | Lars Hupel | CI script to generate timing statistics | file | diff | annotate |