Jan Dittberner 108da9dec2 Add master_doc setting for readthedocs		2021-07-03 12:18:06 +02:00
..
source	Add master_doc setting for readthedocs	2021-07-03 12:18:06 +02:00
.gitignore	use docs/build instead of docs/html	2013-02-24 22:25:23 +01:00