html/about.html: bring some of the URLs up-to-date
[girocco.git] / bin / 
tree476f05f5202e9b9fb6c1a4f76d7a391c8cc1407d
drwxr-xr-x   ..
-rwxr-xr-x 2085 create-personal-mob-area
-rwxr-xr-x 1714 create-private-area
-rwxr-xr-x 16248 format-readme
-rwxr-xr-x 428 git-askpass-password
-rwxr-xr-x 3961 git-daemon-verify
-rwxr-xr-x 13163 git-http-backend-verify
-rwxr-xr-x 8600 git-shell-verify
-rwxr-xr-x 138 git-ssh
-rwxr-xr-x 437 run-format-readme.sh
-rwxr-xr-x 10288 sendmail.pl
-rwxr-xr-x 1103 update-pwd-db