Closed vetlewi closed 1 year ago
The rtd configuration is currently broken. With this PR I hopefully will fix that such that it properly builds.
Tada! It works. Ready for merge.
Could anyone merge this yet...?
The rtd configuration is currently broken. With this PR I hopefully will fix that such that it properly builds.