toolbox/update-all-config.pl: quiet means quiet
[girocco.git] / docs / technical / 
tree7f0342afc8db503a77260a67a5f95dc11440981a
drwxr-xr-x   ..
-rw-r--r-- 4256 gc-mini.txt
-rw-r--r-- 21150 gc.txt