directory /doc/ @ 58078:7ff60204a181 tip

name size permissions
[up] drwxr-xr-x
dir. nashorn/ drwxr-xr-x
file building.html 103035 -rw-r--r--
file building.md 80287 -rw-r--r--
file ide.html 3838 -rw-r--r--
file ide.md 2267 -rw-r--r--
file testing.html 24436 -rw-r--r--
file testing.md 18800 -rw-r--r--