Bump documenter version (#1196)

jump-dev · Nov 11, 2020 · 6092c3d · 6092c3d
1 parent b768681
commit 6092c3d
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -1,6 +1,5 @@
 [deps]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
-MathOptInterface = "b8f27783-ece8-5eb3-8dc8-9495eed66fee"
 
 [compat]
-Documenter = "0.24"
+Documenter = "0.25"