Ghostkeeper 6a01c293d2 Rename setting to Remove Inside Corners
We should know better than to name a setting after a particular printing profile (i.e. 'use this for that profile'). We name our settings as much as possible after their effect on the print.

Contributes to issue CURA-8081.
2021-12-16 23:11:02 +01:00
..
2021-10-05 16:38:50 +02:00
2021-10-05 16:38:50 +02:00
2021-08-25 11:59:19 +02:00
2021-08-16 16:07:54 +05:30
2021-07-13 22:40:39 +08:00
2021-07-27 14:31:23 +10:00
2021-11-09 10:38:01 -05:00
2021-11-24 12:03:47 +01:00
2021-06-14 15:27:13 +02:00
2021-06-14 15:27:13 +02:00