| Author |
Committer |
Branch |
Timestamp |
Parent |
| wwmayer |
GitHub |
master |
2016-12-18 09:59:36 |
master 59987231 |
|
Changeset |
Merge pull request 0000383 from sliptonic/bug/drilling
PATH: fix for drilling border case |
| mod - src/Mod/Path/InitGui.py |
Diff
File
|
| mod - src/Mod/Path/PathScripts/PathDrilling.py |
Diff
File
|