Merge branch 'master' of ssh://git.indexdata.com:222/home/git/pub/git-tools
authorHeikki Levanto <heikki@indexdata.dk>
Mon, 21 May 2012 14:07:23 +0000 (16:07 +0200)
committerHeikki Levanto <heikki@indexdata.dk>
Mon, 21 May 2012 14:07:23 +0000 (16:07 +0200)
commit41bb51d8f67ad4c7acd984b87e0848295ab9cb42
treed5f1a9af739a8efbb3d05e2677f3529ae69ab04a
parent69a6a467da589cfa124afba38c964635d38396e8
parent3deaab8b50c52d9dc2a09ebe4173911bbe46b7d5
Merge branch 'master' of ssh://git.indexdata.com:222/home/git/pub/git-tools