hcoop-git-maint: New script to do periodic git maintenance.
[hcoop/scripts.git] / user-mgmt /
drwxr-xr-x   ..
-rwxr-xr-x 5864 create-user
-rwxr-xr-x 2255 destroy-user