reguser.cgi: error instead of die on bad user name
[girocco.git] / bin / 
tree5e102ee783fd10e1038a6b832d776a43b92f7ec2
drwxr-xr-x   ..
-rwxr-xr-x 1995 create-personal-mob-area
-rwxr-xr-x 5186 git-http-backend-verify
-rwxr-xr-x 3257 git-shell-verify