about.html: Girocco is in girocco.git, not repo.git
tree309e179c8422cebce3316364f46138dacbbc29c0
-rw-r--r-- 169 .gitmodules
drwxr-xr-x - Girocco
-rw-r--r-- 647 INSTALL
-rw-r--r-- 312 Makefile
-rw-r--r-- 5465 README
-rw-r--r-- 450 TODO
-rw-r--r-- 754 apache.conf
drwxr-xr-x - cgi
m--------- - git-browser.git
m--------- - git.git
drwxr-xr-x - gitweb
drwxr-xr-x - html
-rwxr-xr-x 3766 install.sh
drwxr-xr-x - jobs
drwxr-xr-x - mirroring
-rw-r--r-- 64217 mootools.js
-rw-r--r-- 1593 shlib.sh
drwxr-xr-x - toolbox
-rwxr-xr-x 1184 update-hook