David Lechner 7abb670f66 doc/ide: hide footers ...

This information is duplicated in the IDE about dialog so we don't need
it in the docs.

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

..

_static/css

config: drop contentui plugin

2021-01-13 16:54:18 +01:00

_templates

doc/ide: hide footers

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

extensions

config: add pybricks-color directive

2020-08-12 12:19:49 +02:00

images

config: add Pybricks favicon

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

conf.py

config: drop contentui plugin

2021-01-13 16:54:18 +01:00