| Author |
Committer |
Branch |
Timestamp |
Parent |
| mlampert |
mlampert |
master |
2019-06-30 01:05:13 |
master 05249b21 |
|
Changeset |
Fixed extensions for round holes. |
| mod - src/Mod/Path/PathScripts/PathPocketShape.py |
Diff
File
|
| mod - src/Mod/Path/PathScripts/PathPocketShapeGui.py |
Diff
File
|