Merge remote-tracking branch 'upstream/main'

This commit is contained in:
Tom van Woudenberg 2025-03-20 15:01:52 +01:00
commit fbce0d3f0b
2 changed files with 27 additions and 29 deletions

View file

@ -7,6 +7,7 @@ sphinx-exercise
sphinx-tudelft-theme
teachbooks-sphinx-tippy
sphinx-iframes
sphinx-named-colors
# Now list the packages you want to download directly from GitHub
git+https://github.com/TeachBooks/Sphinx-Thebe