directory /doc/ @ 3895:0d29ee3b00d3

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