4 Commits

Author	SHA1	Message	Date
JC Brand	061832df41	Show documentation TOC in a left sidebar	2017-09-04 07:28:47 +02:00
JC Brand	575e9da705	Split development docs into separate files/sections	2016-10-21 14:36:05 +00:00
JC Brand	f868917d54	Add an "Edit me on Github" ribbon to the docs	2015-05-02 01:21:25 +02:00
JC Brand	bcf47d6c7c	Add documentation on how to contribute to the docs.	2014-12-07 01:19:01 +01:00