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