directory /Doc/doc/ @ 17322:bd110eadc19a legacy-trunk

name size permissions
[up] drwxr-xr-x
file doc.tex 63873 -rw-r--r--