directory /web/ @ 816:2c266a253b44

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 genindex.py 1903 -rwxr-xr-x
file hgbook.conf 3637 -rw-r--r--
file index.html.in 2826 -rw-r--r--
file robots.txt 32 -rw-r--r--
file styles.css 3962 -rw-r--r--
file texpand.py 983 -rwxr-xr-x