Pull in main

erlend-aasland · Oct 10, 2023 · 4ca13ff · 4ca13ff
2 parents 5fedc56 + 7983fbd
commit 4ca13ff
Show file tree

Hide file tree

Showing 5 changed files with 123 additions and 160 deletions.
diff --git a/.gitignore b/.gitignore
@@ -22,3 +22,6 @@ coverage.xml
 # Virtual environments
 *env
 /venv
+
+# Builds
+/sphinx-warnings.txt