| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | contents.html | 22482 | log stats plain blame |
| -rw-r--r-- | cover.png | 3305 | log stats plain blame |
| -rw-r--r-- | hanoi.png | 25404 | log stats plain blame |
| -rw-r--r-- | logo.gif | 4232 | log stats plain blame |
| -rw-r--r-- | lua.css | 1306 | log stats plain blame |
| -rw-r--r-- | manual.css | 341 | log stats plain blame |
| -rw-r--r-- | manual.html | 254745 | log stats plain blame |
