dodox f9a23a0e3b Moved gifs for docs around

2024-01-18 22:23:30 +01:00

..

env_gifs

Moved gifs for docs around

2024-01-18 22:23:30 +01:00

alr.svg

New index.rst, added assests

2023-12-05 18:16:47 +01:00

fancy_namelogo.svg

Added a wide logo to the index page

2024-01-18 17:42:14 +01:00

icon.svg

New index.rst, added assests

2023-12-05 18:16:47 +01:00

kit.svg

New index.rst, added assests

2023-12-05 18:16:47 +01:00

uni_tuebingen.svg

New index.rst, added assests

2023-12-05 18:16:47 +01:00