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
..
notes	Remove classic drivers	2018-07-23 15:34:12 +02:00
source	Do not use the official theme from oslosphinx	2018-08-09 16:42:13 +02:00