directory /man/internals/ @ 230:39ed1d2bdd9d

name size permissions
[up] drwxr-xr-x
file Makefile 2013 -rw-r--r--
file index.perm 1211 -rw-r--r--
file index.unperm 1229 -rw-r--r--
file internals.texi 302040 -rw-r--r--