directory /man/internals/ @ 4961:b90f8cf474e0

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