Wed, 15 Feb 2017 15:46:23 +0100 moved to git default tip
Matthias Förste <foerste@schlittermann.de> [Wed, 15 Feb 2017 15:46:23 +0100] rev 10
moved to git
Tue, 08 May 2012 11:36:14 +0200 fix any noncritical problems automatically
Matthias Förste <foerste@schlittermann.de> [Tue, 08 May 2012 11:36:14 +0200] rev 9
fix any noncritical problems automatically
Fri, 04 May 2012 15:37:10 +0200 cleanup at exit; back to bash because dash is broken: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=390433
Matthias Förste <foerste@schlittermann.de> [Fri, 04 May 2012 15:37:10 +0200] rev 8
cleanup at exit; back to bash because dash is broken: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=390433
Fri, 04 May 2012 13:10:26 +0200 use 'set -e'; fixed exit codes (negative numbers are invalid)
Matthias Förste <foerste@schlittermann.de> [Fri, 04 May 2012 13:10:26 +0200] rev 7
use 'set -e'; fixed exit codes (negative numbers are invalid)
(0) -4 tip