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
|