Thu, 11 Oct 2018 09:48:57 +0200 moved to git default tip
Matthias Förste <foerste@schlittermann.de> [Thu, 11 Oct 2018 09:48:57 +0200] rev 2
moved to git
Thu, 11 Oct 2018 09:39:21 +0200 [savepoint]
Matthias Förste <foerste@schlittermann.de> [Thu, 11 Oct 2018 09:39:21 +0200] rev 1
[savepoint]
Tue, 17 Apr 2012 12:28:34 +0200 import
Matthias Förste foerste@schlittermann.de [Tue, 17 Apr 2012 12:28:34 +0200] rev 0
import
(0) tip