directory /man/internals/ @ 2885:6caa3d30f19f

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