Commit 5049068e authored by Mosè Giordano's avatar Mosè Giordano
Browse files

Remove `DocumenterTools` from `docs/` environment

The package doesn't seem to be actually used, as far as I could see.
parent d4a382e7
[deps] [deps]
Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
DocumenterTools = "35a29f4d-8980-5a13-9543-d66fff28ecb8"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment