Age | Commit message (Expand) | Author |
---|---|---|
2023-09-18 | [fix] spelling | jazzzooo |
2023-03-02 | [fix] make docs: NameError: name 'DOC' is not defined | Markus Heiser |
2022-06-14 | [doc] fix some leftovers from ad964562c | Markus Heiser |
2022-03-16 | Info: code refactoring & bug fixes | Alexandre Flament |
2022-03-13 | Various change on PR 930 | Alexandre Flament |
2022-03-12 | [mod] replace /help by /info pages and include pages in project docs | Markus Heiser |