delete history

jump-dev · Oct 30, 2024 · 4c8e2f2 · 4c8e2f2
commit 4c8e2f2
Show file tree

Hide file tree

Showing 15,992 changed files with 6,331,853 additions and 0 deletions.
diff --git a/dev/.documenter-siteinfo.json b/dev/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2024-10-28T02:39:06","documenter_version":"1.7.0"}}
diff --git a/dev/MathOptInterface.pdf b/dev/MathOptInterface.pdf