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
..
2019-09-24 11:19:03 +02:00
2019-09-15 09:56:21 -07:00
2019-09-26 10:33:44 +02:00
2019-09-26 10:33:44 +02:00