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

..

common

jedi: add new pybricks_jedi package

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

main

jedi: add new pybricks_jedi package

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

make.bat

doc/main: Drop beta tag.

2022-06-10 11:31:08 +02:00

Makefile

doc/main: Drop beta tag.

2022-06-10 11:31:08 +02:00