remove Mainifest.toml (QEDjl-project#14)

In an offline discussion, we decided to remove the `Manifest.toml`s from the library, since a library should build its dependencies from scratch every time.
SimeonEhrig · Sep 25, 2023 · 7164cef · 7164cef
1 parent 6c7829e
commit 7164cef
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 489 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,3 +2,9 @@
 
 # IDE specific folders
 .vscode
+
+# File generated by Pkg, the package manager, based on a corresponding Project.toml
+# It records a fixed state of all packages used by the project. As such, it should not be
+# committed for packages, but should be committed for applications that require a static
+# environment.
+Manifest.toml
diff --git a/Manifest.toml b/Manifest.toml