Skip to content
Snippets Groups Projects
Commit 707adb0a authored by Marco Clemencic's avatar Marco Clemencic
Browse files

Adds CheckedNamedToolsConfigured functionality 

See merge request gaudi/Gaudi!1424
parents 8d5cbd71 767e07d4
No related branches found
No related tags found
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