directory /man/internals/ @ 3039:51d08c7c3210

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