Merge branch 'master' of ssh://git.indexdata.com:222/home/git/pub/git-tools
[git-tools-moved-to-github.git] / id-clone
2015-09-29 Heikki LevantoAdded a script id-clone