JannisX11 d7fb09bd02 Optimize extruding with edges
Fix edge drag selection not selecting all vertices
2023-01-20 20:36:37 +01:00
..
2023-01-20 20:36:37 +01:00
2023-01-10 21:31:06 +01:00