remove DocumenterTools

JeffreySarnoff · Jul 1, 2023 · 45f1515 · 45f1515
1 parent 68f7438
commit 45f1515
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/docs/Project.toml b/docs/Project.toml
@@ -1,4 +1,2 @@
 [deps]
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
-DocumenterTools = "35a29f4d-8980-5a13-9543-d66fff28e7cb8"
-MarkdownAST = "d0879d2d-cac2-40c8-9cee-1863dc0c7391"