directory /doc/ @ 3670:65902b326bf1

name size permissions
[up] drwxr-xr-x
file COPYING 17992 -rw-r--r--
file COPYING.DOC 18109 -rw-r--r--
file COPYING.LIB 26536 -rw-r--r--
file fdl.texi 18579 -rw-r--r--