summaryrefslogtreecommitdiff
path: root/docs/dev/index.rst
AgeCommit message (Expand)Author
2019-12-19doc: add reST primer (inital / WIP)Markus Heiser
2019-12-18doc: describe Makefile targetsMarkus Heiser
2019-12-12doc: moved reST sources in the right folder (much clearer)Markus Heiser