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
|