directory / @ 527:015b7fdd90a7

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--