| 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 |