| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-12-13 | doc: really get rid of Documentation/ directory | Rasmus Villemoes |
| 2019-07-24 | doc: Add .gitignore for the Sphinx build output directory | Bin Meng |
| 2018-07-23 | doc: Replace DocBook with sphinx-based docs | Mario Six |
