directory /example/ @ 56:d09682c9cd98 default tip

name size permissions
[up] drwxr-xr-x
file README.txt 58 -rw-r--r--
file example.py 955 -rwxr-xr-x
file persona.html 1009 -rw-r--r--
file persona_example.py 1938 -rwxr-xr-x
file wsgibrowserid_example.py 1951 -rwxr-xr-x