Skip to content
Snippets Groups Projects
Commit 55da7320 authored by dgelessus's avatar dgelessus
Browse files

Remove unused -tool option that does nothing

parent c67ea64f
No related branches found
No related tags found
Loading
Checking pipeline status