Merge branch 'master' of ssh://git.indexdata.com:222/home/git/pub/git-tools
authorHeikki Levanto <heikki@indexdata.dk>
Wed, 2 Jan 2013 12:18:10 +0000 (13:18 +0100)
committerHeikki Levanto <heikki@indexdata.dk>
Wed, 2 Jan 2013 12:18:10 +0000 (13:18 +0100)
commit0ef3cf43be1c52b1133f3ad2487a7af6a8b8942a
tree3aadcac6af363362fac5e8e2d51152aaa97497df
parent0724144b53e258002d386fcd46fa390556cd6264
parent2b757429d7e983f8e9f15f7367cd5aa5c5b06bc2
Merge branch 'master' of ssh://git.indexdata.com:222/home/git/pub/git-tools