Remove /docs directory (#227)

jump-dev · Mar 7, 2024 · 7c76a9a · 7c76a9a
1 parent 6f15bec
commit 7c76a9a
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 236 deletions.
diff --git a/docs/make.jl b/docs/make.jl
diff --git a/docs/src/index.md b/docs/src/index.md
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