wmayer 1855c80f36 replace Part.Line with Part.LineSegment		2016-11-30 21:25:18 +01:00
..
__init__.py
FeatureHole.py	replace Part.Line with Part.LineSegment	2016-11-30 21:25:18 +01:00
HoleGui.py
PartDesign_Hole.svg
Standards.py
TaskHole.py	replace Part.Line with Part.LineSegment	2016-11-30 21:25:18 +01:00
TaskHole.ui
ViewProviderHole.py