Tim Kuipers 27f160c220 JSON fix: made retraction_hop_only_when_collides and retraction_hop not children of retraction_hop_enabled
retraction_hop_enabled was used by the engine, so it should never become disabled
2016-07-28 19:52:43 +02:00
..
2016-05-18 09:44:53 +02:00