build based on 7b46c29

drarnau · May 17, 2023 · 172fed6 · 172fed6
1 parent b276c5e
commit 172fed6
Show file tree

Hide file tree

Showing 18 changed files with 16,216 additions and 3 deletions.
diff --git a/index.html b/index.html
@@ -1,2 +1,2 @@
 <!--This file is automatically generated by Documenter.jl-->
-<meta http-equiv="refresh" content="0; url=./dev/"/>
+<meta http-equiv="refresh" content="0; url=./stable/"/>
diff --git a/stable b/stable
@@ -0,0 +1 @@
+v1.0
diff --git a/v1 b/v1
@@ -0,0 +1 @@
+v1.0
diff --git a/v1.0.0 b/v1.0.0
@@ -0,0 +1 @@
+v1.0
diff --git a/v1.0/assets/documenter.js b/v1.0/assets/documenter.js