2 Commits

Author	SHA1	Message	Date
Matthias Schiffer	32ae071954	docs: pin theme version ... rtd.io uses a severely outdated theme version with several known bugs by default. Pin to a never version to get the bugfixes.	2021-06-26 20:39:31 +02:00
Martin Weinelt	c052a4bf16	docs: specify build dependencies in requirements.txt	2020-06-03 02:17:39 +02:00