directory / @ 632:0347acdf6d8e

name size permissions
[up] drwxr-xr-x
dir. doc/ drwxr-xr-x
dir. src/ drwxr-xr-x
dir. tools/ drwxr-xr-x
file .hgignore 132 -rw-r--r--
file 39960d.pdf 4555489 -rw-r--r--