directory /docs/ @ 583:000381ee2d5c default tip

name size permissions
[up] drwxr-xr-x
dir. manual/ drwxr-xr-x
file Makefile 341 -rw-r--r--
file README 565 -rw-r--r--
file internals.txt 1792 -rw-r--r--
file lwasm.txt 2225 -rw-r--r--
file manual.docbook.sgml 104114 -rw-r--r--
file readme-4.0.txt 1011 -rw-r--r--