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