directory /man/internals/ @ 4110:c32e316ca8c1

name size permissions
[up] drwxr-xr-x
file internals.texi 1401531 -rw-r--r--