Merge branch 'master' of ssh://git.indexdata.com:222/home/git/pub/git-tools
authorHeikki Levanto <heikki@indexdata.dk>
Mon, 9 Dec 2013 10:30:08 +0000 (11:30 +0100)
committerHeikki Levanto <heikki@indexdata.dk>
Mon, 9 Dec 2013 10:30:08 +0000 (11:30 +0100)
commit2da0c610ed4b63bea4092818dee411a46a1c3a32
tree144179880fc1b2a676d181a26d6430b6f4e999e7
parent12ca199577b3174589205147fe1b2365d231ab85
parentf2e36b39b0e6cb21eb1247daf7147ceb5cf0ea82
Merge branch 'master' of ssh://git.indexdata.com:222/home/git/pub/git-tools