| Fri, 26 May 2017 21:40:52 +0200 | wenzelm | unused; | changeset | files |
| Fri, 26 May 2017 20:52:01 +0200 | wenzelm | store errors in build_history logs and database; | changeset | files |
| Fri, 26 May 2017 19:39:02 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 26 May 2017 15:28:46 +0200 | wenzelm | more selective database access; | changeset | files |
| Fri, 26 May 2017 15:19:21 +0200 | wenzelm | store errors in build db; | changeset | files |
| Fri, 26 May 2017 11:51:45 +0200 | wenzelm | more correct and complete output of control characters; | changeset | files |
| Fri, 26 May 2017 11:33:09 +0200 | wenzelm | clarified modules; | changeset | files |