directory /man/internals/ @ 3134:bf1eeb6f97a5

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