Commit History

Author SHA1 Message Date
  Markus Heiser 0c725109e8 [fix] make docs: NameError: name 'DOC' is not defined 2 years ago
  Markus Heiser ef4239c68a [doc] fix some leftovers from ad964562c 2 years ago
  Alexandre Flament dbe3eaabc9 Info: code refactoring & bug fixes 3 years ago
  Alexandre Flament 1157462ff9 Various change on PR 930 3 years ago
  Markus Heiser b1912607ae [mod] replace /help by /info pages and include pages in project docs 3 years ago