Commit 43bf8b1a authored by Drew's avatar Drew

Merge pull request #42 from AnarchyTools/agressive

Provide a sensible diagnostic if a user forgets the tool
parents 194bcfc6 5ebcd69a
Pipeline #919 passed with stage