directory /web/ @ 751:751ee9bf2e8d

name size permissions
[up] drwxr-xr-x
dir. hgbook/ drwxr-xr-x
dir. icons/ drwxr-xr-x
dir. javascript/ drwxr-xr-x
file README 200 -rw-r--r--
file hgbook.conf 1995 -rw-r--r--
file index.html 0 -rw-r--r--
file robots.txt 32 -rw-r--r--
file styles.css 3966 -rw-r--r--
file texpand.py 980 -rwxr-xr-x