From: Heikki Levanto Date: Mon, 9 Dec 2013 10:30:08 +0000 (+0100) Subject: Merge branch 'master' of ssh://git.indexdata.com:222/home/git/pub/git-tools X-Git-Url: http://lists.indexdata.dk/?a=commitdiff_plain;h=2da0c610ed4b63bea4092818dee411a46a1c3a32;p=git-tools-moved-to-github.git Merge branch 'master' of ssh://git.indexdata.com:222/home/git/pub/git-tools --- 2da0c610ed4b63bea4092818dee411a46a1c3a32