directory /man/internals/ @ 5279:d0bc331e433f

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