Alexandre Flament bb19c7eccf Sphinx doc: rename "User documentation" to "User Information" 3 years ago
..
.gitignore b1912607ae [mod] replace /help by /info pages and include pages in project docs 3 years ago
index.rst bb19c7eccf Sphinx doc: rename "User documentation" to "User Information" 3 years ago