3 Commits

Author SHA1 Message Date
jspijker
53d8e0c730 Applied printer-linter format
To make sure we have uniform diffs with our PR's
2022-12-30 22:05:41 +01:00
Nino van Hooff
249a66ebd9 Merge machine_head_polygon and machine_head_with_fans_polygon defs.
There is no usecase for having both. when a definition has both,
the head is removed. when it has only head, it is renamed to
_with_fans

CURA-6522
2019-10-31 16:38:00 +01:00
DragonJe
00676e3878
Create key3d_tyro.def.json 2019-09-16 17:53:13 -05:00