Merge branch 'develop'

# Conflicts: # docs/source/conf.py
chipmuenk · Apr 9, 2024 · bd3bfe4 · bd3bfe4
2 parents 866d568 + 11ed921
commit bd3bfe4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/source/conf.py b/docs/source/conf.py
@@ -204,4 +204,4 @@
 # -- Options for intersphinx extension ---------------------------------------
 
 # Example configuration for intersphinx: refer to the Python standard library.
-intersphinx_mapping = {'https://docs.python.org/': None}
+intersphinx_mapping = {'https://docs.python.org/': None}