ExternalToolsPlugin: ensure unique tool names
A tool name is used to get the tool's config file name, so it should be unique.
Please register or sign in to comment
A tool name is used to get the tool's config file name, so it should be unique.