directory /doc/ @ 7:57b2cc9b87f7

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