about.html: Girocco is in girocco.git, not repo.git
[girocco.git] / mirroring / 
tree0cfde0e3f0c2125db19ac894c47fe54da948d592
drwxr-xr-x   ..
lrwxrwxrwx 10 Girocco -> ../Girocco
-rwxr-xr-x 1341 clone.sh
-rwxr-xr-x 2535 cloned.pl
-rwxr-xr-x 523 update.sh