directory /docs/ @ 1741:d67622addf51

name size permissions
[up] drwxr-xr-x
dir. html/ drwxr-xr-x
dir. images/ drwxr-xr-x
dir. man3/ drwxr-xr-x
file index.html 2710 -rw-r--r--