build based on fbee1ca

oscar-system · Nov 24, 2023 · 8b9b582 · 8b9b582
1 parent 59e16c9
commit 8b9b582
Show file tree

Hide file tree

Showing 12 changed files with 775 additions and 464 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.6.7","generation_timestamp":"2023-11-24T13:42:57","documenter_version":"1.1.2"}}