admins.html: minor page formatting improvement
[girocco.git] / jobd / 
tree1d128ec48c2c68da9f5e63a4c11aa49527abcfca
drwxr-xr-x   ..
lrwxrwxrwx 10 Girocco -> ../Girocco
-rw-r--r-- 435 README
-rwxr-xr-x 21813 combine-packs.sh
-rwxr-xr-x 1188 gc-git-svn.sh
-rwxr-xr-x 7234 gc-util-functions.sh
-rwxr-xr-x 76821 gc.sh
-rwxr-xr-x 3799 generate-auto-gc-update.sh
-rwxr-xr-x 3052 git-fetch-q-progress.sh
-rwxr-xr-x 22706 jobd.pl
-rwxr-xr-x 161 jobd.sh
-rwxr-xr-x 380 kill-jobd.sh
-rwxr-xr-x 3842 maintain-auto-gc-hack.sh
-rwxr-xr-x 27937 update.sh
-rwxr-xr-x 4291 updategc-util-functions.sh