build based on 2ded7bd

JuliaSIMD · Jul 22, 2023 · de51d5d · de51d5d
1 parent dd248f1
commit de51d5d
Show file tree

Hide file tree

Showing 13 changed files with 742 additions and 3 deletions.
diff --git a/stable b/stable
@@ -1 +1 @@
-v0.7.4
+v0.7.5
diff --git a/v0.7 b/v0.7
@@ -1 +1 @@
-v0.7.4
+v0.7.5
diff --git a/v0.7.5/assets/documenter.js b/v0.7.5/assets/documenter.js