Skip to content
GitLab
Explore
Sign in
Utilities
Kate
Repository
kate
addons
externaltools
kateexternaltoolsconfigwidget.cpp
Find file
Blame
History
Permalink
ExternalToolsPlugin: ensure unique tool names
· d35cb784
Ahmad Samir
authored
Sep 29, 2021
A tool name is used to get the tool's config file name, so it should be unique.
d35cb784