directory /doc/ @ 84183:dc68eaa1d194

name size permissions
[up] drwxr-xr-x
dir. lispintro/ drwxr-xr-x
dir. lispref/ drwxr-xr-x
dir. man/ drwxr-xr-x