| Sat, 06 May 2017 20:51:33 +0200 | wenzelm | tuned signature; | changeset | files |
| Sat, 06 May 2017 20:00:29 +0200 | wenzelm | present build status; | changeset | files |
| Sat, 06 May 2017 20:00:08 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 06 May 2017 19:42:49 +0200 | wenzelm | obsolete; | changeset | files |
| Sat, 06 May 2017 19:23:33 +0200 | wenzelm | clarified name; | changeset | files |
| Sat, 06 May 2017 12:59:16 +0200 | wenzelm | tuned messages; | changeset | files |
| Sat, 06 May 2017 12:52:29 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 06 May 2017 12:45:42 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 06 May 2017 11:43:43 +0200 | wenzelm | unused; | changeset | files |
| Sat, 06 May 2017 11:43:35 +0200 | wenzelm | tuned; | changeset | files |
| 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 |