Skip to content
Commit d35cb784 authored by Ahmad Samir's avatar Ahmad Samir
Browse files

ExternalToolsPlugin: ensure unique tool names 

A tool name is used to get the tool's config file name, so it should be unique.
parent 9867a14b
Hide whitespace changes
Inline Side-by-side
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