| Wed, 15 Feb 2017 15:46:23 +0100 | Matthias Förste | moved to git | changeset | files |
| Tue, 08 May 2012 11:36:14 +0200 | Matthias Förste | fix any noncritical problems automatically | changeset | files |
| Fri, 04 May 2012 15:37:10 +0200 | Matthias Förste | cleanup at exit; back to bash because dash is broken: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=390433 | changeset | files |