Tue, 12 Aug 2014 14:59:48 +0200 override default prefix
Matthias Förste <foerste@schlittermann.de> [Tue, 12 Aug 2014 14:59:48 +0200] rev 2
override default prefix
(0) -1 +1 +10 tip