Mon, 19 Mar 2018 15:56:15 +0100 moved to git default tip
Matthias Förste <foerste@schlittermann.de> [Mon, 19 Mar 2018 15:56:15 +0100] rev 18
moved to git
Wed, 20 Jan 2016 10:55:43 +0100 fixed dependencies
Matthias Förste <foerste@schlittermann.de> [Wed, 20 Jan 2016 10:55:43 +0100] rev 17
fixed dependencies
(0) -10 -2 tip