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