directory /htdocs/svg-edit/extras/ @ 515:55ffbd41c42d

name size permissions
[up] drwxr-xr-x
dir. server-save/ drwxr-xr-x
file tojson.py 1598 -rw-r--r--
file topo.py 1292 -rw-r--r--
file update-langs.py 2090 -rwxr-xr-x