directory /hgdemandimport/ @ 41823:7a139fc60eb0

name size permissions
[up] drwxr-xr-x
file __init__.py 2438 -rw-r--r--
file demandimportpy2.py 11116 -rw-r--r--
file demandimportpy3.py 3510 -rw-r--r--
file tracing.py 1328 -rw-r--r--