Merge pull request #49 from TeachBooks/temp_delete

Temporary fix because gitlab is down again
This commit is contained in:
Tom van Woudenberg 2024-12-14 07:51:12 +01:00 • committed by GitHub
commit 58ed2efd41
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
4 changed files with 7 additions and 11 deletions

View file

@ -20,11 +20,11 @@ sphinx:
- sphinx_image_inverter
- sphinx_exercise
config:
html_js_files:
- https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.4/require.min.js
thebe_config:
use_thebe_lite: true
exclude_patterns: ["**/_*.yml", "**/*.md", "**/*.ipynb","**/*.gif","**/*.txt","**/*.json",]
#html_js_files:
#- https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.4/require.min.js
#thebe_config:
# use_thebe_lite: true
# exclude_patterns: ["**/_*.yml", "**/*.md", "**/*.ipynb","**/*.gif","**/*.txt","**/*.json",]
html_theme_options:
logo:
text: Manual

@ -1 +0,0 @@
Subproject commit cb8169156e5c0150848cf52fb177d0d40934522e