Florian Festi 8f0dc0330e Merge flex if rounded edges meet at top and bottom		2016-07-09 10:55:42 +02:00
..
generators	Merge flex if rounded edges meet at top and bottom	2016-07-09 10:55:42 +02:00
__init__.py	Move Boxes.fingerHoleEdgeWidth to FingerJointSettings	2016-07-03 16:42:21 +02:00
edges.py	Remove left over debug print	2016-07-08 22:17:37 +02:00
formats.py	Use a more robust way to replace the size and viewport in the svg	2016-06-29 14:07:51 +02:00
svgutil.py	Use a more robust way to replace the size and viewport in the svg	2016-06-29 14:07:51 +02:00