| Author |
Committer |
Branch |
Timestamp |
Parent |
| sliptonic |
sliptonic |
master |
2020-11-16 18:40:18 |
master 138a3950 |
|
Changeset |
bug: on deleting tool controllers |
| mod - src/Mod/Path/PathScripts/PathOpGui.py |
Diff
File
|
| mod - src/Mod/Path/PathScripts/PathToolController.py |
Diff
File
|