Merge branch 'main' into publish

This commit is contained in:
Tom van Woudenberg 2024-08-08 17:28:07 +02:00
commit fcd2122d7b

View file

@ -53,7 +53,7 @@ parts:
- file: features/creating_basic_HTML_elements.md
- file: features/python_interactivity.md
sections:
- file: features/live_code.md
- file: features/live_code
sections:
- file: features/widgets.ipynb
- file: features/exercise_checking.ipynb