Mon, 06 Jul 2020 15:41:26 +0200 merged default tip
Heiko Schlittermann <hs@schlittermann.de> [Mon, 06 Jul 2020 15:41:26 +0200] rev 49
merged
Mon, 06 Jul 2020 15:39:14 +0200 move to git
Heiko Schlittermann <hs@schlittermann.de> [Mon, 06 Jul 2020 15:39:14 +0200] rev 48
move to git
Fri, 04 Aug 2017 15:29:47 +0200 [savepoint]
Matthias Förste <foerste@schlittermann.de> [Fri, 04 Aug 2017 15:29:47 +0200] rev 47
[savepoint]
(0) -30 -10 -3 tip