post-update: use "git update-server-info" to update info
[girocco.git] / html / 
tree336355ee9510290d33007d1bfb343e561b8f26ba
drwxr-xr-x   ..
-rw-r--r-- 14 .htaccess
-rw-r--r-- 775 about.html
-rw-r--r-- 268 girocco.css
-rw-r--r-- 774 girocco.js
-rw-r--r-- 3450 httpspush.html
-rw-r--r-- 5218 mob.html
-rw-r--r-- 2647 rootcert.html