build based on 80daa74

oscar-system · May 17, 2024 · 72841e7 · 72841e7
1 parent 7457726
commit 72841e7
Show file tree

Hide file tree

Showing 16 changed files with 1,869 additions and 3 deletions.
diff --git a/stable b/stable
@@ -1 +1 @@
-v0.11.16
+v0.11.17
diff --git a/v0.11 b/v0.11
@@ -1 +1 @@
-v0.11.16
+v0.11.17
diff --git a/v0.11.17/.documenter-siteinfo.json b/v0.11.17/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.10.3","generation_timestamp":"2024-05-17T11:14:39","documenter_version":"1.4.1"}}