Jonathan Ringer 258794a39c Revert "python: sphinx_rtd_theme: 0.4.3 -> 0.5.0" ...

This reverts commit ff21fc43c8ecc7587685f0899d1ad940da9992bc.

sphinx_rtd_theme 0.5.0 requires a significant amount of bootstrapping
with node packages, which are not trivial

2020-08-26 12:38:57 +02:00

..

default.nix

…