clone.sh: use git remote update --prune
[girocco.git] / bin / 
treeda4905f79148ee92f0b6b50a06225f68e2d17cd2
drwxr-xr-x   ..
-rwxr-xr-x 2400 create-personal-mob-area
-rwxr-xr-x 428 git-askpass-password
-rwxr-xr-x 3413 git-daemon-verify
-rwxr-xr-x 8107 git-http-backend-verify
-rwxr-xr-x 5390 git-shell-verify
-rwxr-xr-x 10288 sendmail.pl
-rwxr-xr-x 1009 update-pwd-db