Tim Head 307addd5ab Fix warnings in the documentation build		2018-08-05 23:48:44 +02:00
..
source	Fix warnings in the documentation build	2018-08-05 23:48:44 +02:00
Makefile	Fix warnings in the documentation build	2018-08-05 23:48:44 +02:00
doc-requirements.txt	Remove theme for requirements	2017-10-23 05:25:02 -07:00
make.bat	…