tree e91a407bf9a921ed4b6ce59909dc1b8220c01ab7
parent 86b11bbc1437a12fa64bc1484c4edc0bdd5a0966
author Jochen Wiedmann <jochen.wiedmann@gmail.com> 1469708333 +0200
committer Jochen Wiedmann <jochen.wiedmann@gmail.com> 1469708333 +0200

Fixing the SCM paths, after moving to Git.