build based on 3e32a90

jump-dev · Oct 9, 2024 · 9c91154 · 9c91154
1 parent a5b3b30
commit 9c91154
Show file tree

Hide file tree

Showing 370 changed files with 123,348 additions and 0 deletions.
diff --git a/previews/PR3846/.documenter-siteinfo.json b/previews/PR3846/.documenter-siteinfo.json
@@ -0,0 +1 @@
+{"documenter":{"julia_version":"1.10.5","generation_timestamp":"2024-10-09T03:07:08","documenter_version":"1.6.0"}}
diff --git a/previews/PR3846/JuMP.pdf b/previews/PR3846/JuMP.pdf
diff --git a/previews/PR3846/api/JuMP.Containers/index.html b/previews/PR3846/api/JuMP.Containers/index.html
diff --git a/previews/PR3846/api/JuMP/index.html b/previews/PR3846/api/JuMP/index.html
diff --git a/previews/PR3846/assets/case9mod.png b/previews/PR3846/assets/case9mod.png
diff --git a/previews/PR3846/assets/citations.css b/previews/PR3846/assets/citations.css
@@ -0,0 +1,17 @@
+.citation dl {
+ display: grid;
+ grid-template-columns: max-content auto; }
+.citation dt {
+ grid-column-start: 1; }
+.citation dd {
+ grid-column-start: 2;
+ margin-bottom: 0.75em; }
+.citation ul {
+ padding: 0 0 2.25em 0;
+ margin: 0;
+ list-style: none !important;}
+.citation ul li {
+ text-indent: -2.25em;
+ margin: 0.33em 0.5em 0.5em 2.25em;}
+.citation ol li {
+ padding-left:0.75em;}