Added a script id-clone
authorHeikki Levanto <heikki@indexdata.dk>
Tue, 29 Sep 2015 12:35:04 +0000 (14:35 +0200)
committerHeikki Levanto <heikki@indexdata.dk>
Tue, 29 Sep 2015 12:35:04 +0000 (14:35 +0200)
Clones a private or public git project, so you don't have
to remember the long URL. Use
   .../git-clone git-tools
for some value of "git-tools"


No differences found