directory /doc/misc/ @ 24:a4899cdfc2d6 default tip

name size permissions
[up] drwxr-xr-x
dir. html/ drwxr-xr-x
file DEFS.mk 758 -rw-r--r--
file README 170 -rw-r--r--
file buildnotes.html 8477 -rw-r--r--
file license.html 3737 -rw-r--r--
file readme.html 5396 -rw-r--r--
file whatsnew.html 9495 -rw-r--r--