gd 6913148d99 Docs: changed sphinx theme from classic to sphinx_rtd_theme ... Dependency: pip install sphinx-rtd-theme		2022-11-09 09:35:59 +02:00
..
custom.css	Docs: changed sphinx theme from classic to sphinx_rtd_theme	2022-11-09 09:35:59 +02:00