Merge remote-tracking branch 'upstream/main'

This commit is contained in:
Tom van Woudenberg 2025-03-04 12:06:48 +01:00
commit 4746b7527a
12 changed files with 182 additions and 22 deletions

View file

@ -40,6 +40,7 @@ sphinx:
- download_link_replacer
- sphinx.ext.extlinks
- sphinx_image_inverter
- sphinx_iframes
- sphinx_exercise
- sphinx_tudelft_theme
- teachbooks_sphinx_tippy