docs/src/license.md
| 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 |
