gc.sh: add Git 1.8.5 and later gc.pid compatibility
[girocco.git] / toolbox / 
tree23d0bf68d25035c14f1e92e674b47091e0f0bf14
drwxr-xr-x   ..
-rw-r--r-- 63 README
-rwxr-xr-x 2337 check-perl-modules.pl
-rwxr-xr-x 854 edit-user-email.sh
-rw-r--r-- 1646 inactive
-rwxr-xr-x 558 kill-stale-daemons.pl
-rwxr-xr-x 1167 remirror-project.pl
-rwxr-xr-x 2725 remove-inactive-projects.sh
-rwxr-xr-x 1060 remove-user.sh
-rwxr-xr-x 325 run-jobd.sh
-rwxr-xr-x 216 run-taskd.sh
-rwxr-xr-x 2076 trash-project.pl
-rwxr-xr-x 713 updatecheck.sh