More changes

jump-dev · Mar 7, 2024 · 4fbdd8b · 4fbdd8b
1 parent c34e5db
commit 4fbdd8b
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 210 deletions.
diff --git a/scripts/Project.toml b/scripts/Project.toml
@@ -1,5 +1,3 @@
 [deps]
 Clang = "40e3b903-d033-50b4-a0cc-940c62c95e31"
-Gumbo = "708ec375-b3d6-5a57-a7ce-8257bf98657a"
-HTTP = "cd3eb016-35fb-5094-929b-558a96fad6f3"
 Xpress = "9e70acf3-d6c9-5be6-b5bd-4e2c73e3e054"
diff --git a/scripts/docs.jl b/scripts/docs.jl