Alexandre Flament bb19c7eccf Sphinx doc: rename "User documentation" to "User Information"

2022-03-16 22:26:36 +01:00

..

.gitignore

[mod] replace /help by /info pages and include pages in project docs

2022-03-12 11:36:31 +01:00

index.rst

Sphinx doc: rename "User documentation" to "User Information"

2022-03-16 22:26:36 +01:00