This repository has been archived on 2023-04-12. You can view files and clone it, but cannot push or open issues or pull requests.

Stephan 037235b0f5 fix: got rid of woff fonts to create minmal size build		2021-10-13 08:48:05 +02:00
..
css	fix: got rid of woff fonts to create minmal size build	2021-10-13 08:48:05 +02:00
js	fix: copied sphinx_rtd_theme to further shrink filesize	2021-10-13 08:47:40 +02:00