Merge branch 'main' into merge_from_teachbooks

This commit is contained in:
Tom van Woudenberg 2025-01-15 09:19:56 +01:00 • committed by GitHub
commit 13b564d02a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 3 additions and 1 deletions

View file

@ -42,6 +42,7 @@ sphinx:
- sphinx_image_inverter
- sphinx_exercise
- sphinx_tudelft_theme
- teachbooks_sphinx_tippy
bibtex_bibfiles:
- references.bib