build based on 14c8da2

BioJulia · Jul 17, 2023 · 7117891 · 7117891
1 parent a0f9b51
commit 7117891
Show file tree

Hide file tree

Showing 18 changed files with 923 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 @@
+v0.3.1
diff --git a/v0.3 b/v0.3
@@ -0,0 +1 @@
+v0.3.1
diff --git a/v0.3.1/assets/documenter.js b/v0.3.1/assets/documenter.js