Age | Commit message (Expand) | Author |
---|---|---|
2021-09-18 | manuals: delete unmaintained history sections | Michael Opdenacker |
2020-12-09 | dev-manual: remove 'dev-manual' from filenames | Nicolas Dechesne |
2020-12-09 | sphinx: rename top level document in each manual | Nicolas Dechesne |