Jérôme Kieffer 7263109f07 clean up		2021-12-03 08:55:37 +01:00
..
debian9	use python3 also for the doc	2020-03-06 08:56:06 +01:00
debian10	Missing new theme for sphinx	2020-11-27 23:00:13 +01:00
debian11	clean up	2021-12-03 08:55:37 +01:00