Martin Weinelt 4af35d92a0 python3Packages.sphinx-rtd-theme: rename from sphinx_rtd_theme		2022-08-03 18:39:37 +02:00
..
default.nix	python3Packages.sphinx-rtd-theme: rename from sphinx_rtd_theme	2022-08-03 18:39:37 +02:00