directory /docs/ @ 1820:133d55b02d51

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--