directory /doc/ @ 790:1e7319868d77

name size permissions
[up] drwxr-xr-x
dir. fig/ drwxr-xr-x
file category.ind 43870 -rw-r--r--
file category.pdf 123818 -rw-r--r--
file test.tex 5290 -rw-r--r--
file test2.tex 7882 -rw-r--r--