Merge branch 'wildart:master' into dpa/warn

wildart · Aug 30, 2022 · 12f69b4 · 12f69b4
2 parents 9d60155 + ec337f9
commit 12f69b4
Show file tree

Hide file tree

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