docs/src/index.md
| Fri, 28 Dec 2018 17:20:23 +0100 | fixes an url typo which survived surprisingly long | file | diff | annotate |
| Mon, 13 Nov 2017 12:21:55 +0100 | web doc has now proper titles | file | diff | annotate |
| Sat, 28 Oct 2017 15:43:51 +0200 | modules documentation | file | diff | annotate |
| Fri, 20 Oct 2017 15:28:06 +0200 | documentation will now be generated using pandoc | file | diff | annotate |
