Skip to content
Snippets Groups Projects
Commit 8f74ec3a authored by Wuttke, Joachim's avatar Wuttke, Joachim
Browse files

rename GUI/Support/Util/WidgetMoverButton. -> GUI/View/Tool/

parent 5c1f123e
No related branches found
No related tags found
1 merge request!2142numerous renamings for clearer layering of GUI/View
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment