delete history

jump-dev · Dec 10, 2024 · 6f7e28a · 6f7e28a
commit 6f7e28a
Show file tree

Hide file tree

Showing 15,936 changed files with 6,327,641 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-12-04T18:34:08","documenter_version":"1.8.0"}}
diff --git a/dev/MathOptInterface.pdf b/dev/MathOptInterface.pdf
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		{"documenter":{"julia_version":"1.9.4","generation_timestamp":"2024-12-04T18:34:08","documenter_version":"1.8.0"}}