display commit first 8 digits instead of previous 'commit' link
[infrastructure.git] / gitweb /
drwxr-xr-x   ..
-rw-r--r-- 145 Makefile
-rw-r--r-- 157 f-lab.sed
-rwxr-xr-x 169811 gitweb.cgi
-rw-r--r-- 7180 gitweb.css
drwxr-xr-x - img
-rw-r--r-- 163 onelab.sed
-rw-r--r-- 188 planet-lab.sed