Merge branch 'master' of ssh://git.indexdata.com/home/git/pub/git-tools
[git-tools-moved-to-github.git] / id-new-project /
drwxr-xr-x   ..
-rwxr-xr-x 980 id-new-project.sh
-rwxr-xr-x 500 post-receive
-rw-r--r-- 18760 post-receive-email-id