Dmitry Tantsur e71e9a88da Do not use the official theme from oslosphinx ...

We are not an official project, let's not confuse people. Also
oslosphinx seems deprecated.

Change-Id: I42a61b04b5a03d948aa9dccaaaffbd8a7a9b0a10

2018-08-09 16:42:13 +02:00

1.5 KiB

Raw Blame History

View Raw