Manual update to Documenter version.

Well, well. We meet again. JuliaRegistries/CompatHelper.jl#408. In the meantime, we simply need to manually update Documenter.
vtjeng · Mar 15, 2024 · 6adfdc1 · 6adfdc1
1 parent c23ad00
commit 6adfdc1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -3,4 +3,4 @@ Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 MIPVerify = "e5e5f8be-2a6a-5994-adbb-5afbd0e30425"
 
 [compat]
-Documenter = "0.27"
+Documenter = "1"