directory / @ 84:8f35e9970e7f

name size permissions
dir. browser_side/ drwxr-xr-x
dir. public/ drwxr-xr-x
dir. server_css/ drwxr-xr-x
dir. server_side/ drwxr-xr-x
dir. tools/ drwxr-xr-x
file .hgignore 133 -rw-r--r--
file .hgtags 53 -rw-r--r--
file COPYING 34520 -rw-r--r--
file README 5444 -rw-r--r--
file libervia.py 15647 -rw-r--r--
file libervia.tac 26253 -rw-r--r--