Commit History

Auteur SHA1 Bericht Datum
  JC Brand 061832df41 Show documentation TOC in a left sidebar 7 jaren geleden
  JC Brand 575e9da705 Split development docs into separate files/sections 8 jaren geleden
  JC Brand f868917d54 Add an "Edit me on Github" ribbon to the docs 10 jaren geleden
  JC Brand bcf47d6c7c Add documentation on how to contribute to the docs. 10 jaren geleden