fix: copied sphinx_rtd_theme to further shrink filesize

This commit is contained in:
Stephan
2021-10-02 14:46:13 +02:00
committed by Gulliver
parent 2636a8b177
commit f3f012a77f
82 changed files with 15270 additions and 2 deletions