Jean-Paul Chaput a033e3ba98 More doc unification and cleanup.		2017-07-17 19:12:18 +02:00
..
sphinx_rtd_theme	More doc unification and cleanup.	2017-07-17 19:12:18 +02:00