David Lechner a2d9c33eb5 jedi: add new pybricks_jedi package ...

This package will be used in Pybricks Code to provide some intellesense
operations.

2022-06-24 14:52:45 -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

all: Format with black.

2022-05-27 16:22:05 +02: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