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