directory /Doc/html/ @ 39496:352ffe77b71d legacy-trunk

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