Update 'docs' folder with main and delete old branches.

RWTH-EBC · Dec 6, 2023 · f7aa92a · f7aa92a
1 parent d5fb21c
commit f7aa92a
Show file tree

Hide file tree

Showing 59 changed files with 11,978 additions and 163 deletions.
diff --git a/docs/main/coverage/.gitignore b/docs/main/coverage/.gitignore
@@ -0,0 +1,2 @@
+# Created by coverage.py
+*
diff --git a/docs/main/coverage/badge.svg b/docs/main/coverage/badge.svg