directory /man/internals/ @ 4874:4c3f5e1ecbeb

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