Wed, 11 May 2016 23:41:32 +0200 removed unnecessary things
pesch [Wed, 11 May 2016 23:41:32 +0200] rev 7
removed unnecessary things
(0) -1 +1 +10 +30 tip