Add Project.toml and Manifest.toml to docs for Documenter builds

rwth-irt · Apr 24, 2024 · 8d61a3d · 8d61a3d
1 parent 085aa04
commit 8d61a3d
Show file tree

Hide file tree

Showing 3 changed files with 1,258 additions and 2 deletions.
diff --git a/docs/.gitignore b/docs/.gitignore
@@ -1,3 +1 @@
 build
-Manifest.toml
-Project.toml