| Age | Commit message (Expand) | Author |
|---|---|---|
| 2020-06-10 | [Docs] Remove legacy docs | Bozhidar Batsov |
| 2020-05-30 | [Docs] Move the legacy docs to a dedicated dir | Bozhidar Batsov |
| 2020-02-01 | Try to fix the broken "Edit on GitHub" buttons | Bozhidar Batsov |
| 2020-01-19 | Bump the copyright years | Bozhidar Batsov |
| 2019-01-01 | Bump the copyright years | Bozhidar Batsov |
| 2018-09-26 | [Fix #747] Add a section on projects to the manual | Bozhidar Batsov |
| 2018-09-22 | Add a Troubleshooting section to the manual | Bozhidar Batsov |
| 2018-07-21 | Update the manual's name | Bozhidar Batsov |
| 2018-07-21 | Tweak the docs a bit | Bozhidar Batsov |
| 2018-07-21 | Enable the admonition extension | Bozhidar Batsov |
| 2018-07-11 | Move the extensions listing to the manual | Bozhidar Batsov |
| 2018-01-16 | Make the license more prominent and bump the copyright years | Bozhidar Batsov |
| 2017-03-09 | Bump the copyright years | Bozhidar Batsov |
| 2016-05-29 | Add a bit of extra css to the manual | Bozhidar Batsov |
| 2016-05-29 | Rework our huge read readme into something resembling a manual | Bozhidar Batsov |
