Lukas Matena d0f21dda4a Make sure that when drill holes are manipulated with, all data are invalidated properly
It is needed to regenerate hollow_mesh_with_holes completely, it may contain holes that were deleted by the user in the meantime
2020-02-03 17:31:18 +01:00
..
2020-01-03 16:33:04 +01:00
2019-12-18 10:34:26 +01:00