directory /doc/ @ 4:bebb2ba69e1d

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