David Lechner 03ee7f74e8 doc/pup/essentialhub: fix bit rot ...

This fixes bitrot for PR #96. Also fixes a few minor issues where
changes were missed.

2022-06-29 12:08:33 -05: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

doc/pup/essentialhub: fix bit rot

2022-06-29 12:08:33 -05:00

images

config: add Pybricks favicon

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

conf.py

jedi: add new pybricks_jedi package

2022-06-24 14:52:45 -05:00