6b4d84b216
This patch set addresses readthedocs.org loading oslosphinx, which results in some inconsistencies. It should simply use the rtd theme on the rtd environment. Change-Id: I35f599416d3764a2ed0961653b3ce45717335e72 |
||
---|---|---|
.. | ||
source |