|
|
6e778c48d6
|
fix: removed dependency on wtf_coop theme
|
2021-10-02 15:18:29 +02:00 |
|
|
|
87afa4541e
|
fix: migrated settings from wtf_coop to custom_sphinx_rtd_theme
|
2021-10-02 15:07:17 +02:00 |
|
|
|
17e9225ac4
|
fix: copied sphinx_rtd_theme to further shrink filesize
|
2021-10-02 14:46:13 +02:00 |
|
