Wed, 25 Jul 2018 12:31:28 +0200 moved to git.schlittermann.de/ius/diffs default tip
Matthias Förste <foerste@schlittermann.de> [Wed, 25 Jul 2018 12:31:28 +0200] rev 35
moved to git.schlittermann.de/ius/diffs
(0) -30 -10 -1 tip