directory /docs/ @ 7674:7731c710796f

name size permissions
[up] drwxr-xr-x
dir. dtd/ drwxr-xr-x
dir. html/ drwxr-xr-x
dir. man/ drwxr-xr-x
dir. text/ drwxr-xr-x
dir. xml/ drwxr-xr-x
dir. xsls/ drwxr-xr-x
dir. xslt/ drwxr-xr-x
file GNUmakefile 958 -rw-r--r--