directory /doc/ @ 2:4b08ee1ecb99

name size permissions
[up] drwxr-xr-x
dir. admin/ drwxr-xr-x
dir. devel/ drwxr-xr-x
dir. install/ drwxr-xr-x
dir. manpages/ drwxr-xr-x
dir. mansupp/ drwxr-xr-x
dir. manual/ drwxr-xr-x
dir. misc/ drwxr-xr-x
file DEFS.mk 196 -rw-r--r--