Laurens Valk 434ff5e346 doc/common/conf: Keep IDE conf settings. ...

We are going to be deleting the ide build files, so make sure we keep what's needed.

2021-07-23 12:45:30 +02:00

..

_static

js: only apply target="_blank" to IDE build

2021-04-20 12:38:33 -05:00

_templates

doc/ide: hide footers

2021-01-26 08:30:48 +01:00

extensions

config: add classlink directive

2021-02-14 15:39:39 +01:00

images

config: add Pybricks favicon

2020-06-17 13:38:22 -05:00

conf.py

doc/common/conf: Keep IDE conf settings.

2021-07-23 12:45:30 +02:00