directory /man/internals/ @ 1367:0d3e4cac5769

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