directory /Doc/html/ @ 39587:bbef2ecdee33 2.4

name size permissions
[up] drwxr-xr-x
dir. icons/ drwxr-xr-x
file about.dat 944 -rw-r--r--
file about.html 3732 -rw-r--r--
file index.html.in 4443 -rw-r--r--
file stdabout.dat 2128 -rw-r--r--
file style.css 9779 -rw-r--r--