gitweb: update index text
[girocco.git] / docs / technical / 
tree7b2771bf974fa3daf0c1fddc631833e9cf5e3dba
drwxr-xr-x   ..
-rw-r--r-- 4256 gc-mini.txt
-rw-r--r-- 21150 gc.txt