| Sat, 06 May 2017 00:23:04 +0200 | wenzelm | tuned messages; | changeset | files |
| Sat, 06 May 2017 00:12:46 +0200 | wenzelm | performance statistics from build log database; | changeset | files |
| Fri, 05 May 2017 20:00:53 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 05 May 2017 18:35:30 +0200 | wenzelm | legacy version for Jenkins website; | changeset | files |
| Fri, 05 May 2017 18:32:18 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 05 May 2017 18:15:53 +0200 | wenzelm | detect database entries; | changeset | files |
| Fri, 05 May 2017 18:12:21 +0200 | wenzelm | tuned; | changeset | files |