directory /doc/ @ 83958:6197e4fd5b7f

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