Marius Stanciu 46900d795d - fixed the Punch Gerber Tool bug that did not allowed the projects to be loaded or to create a new project. Fixed issue #456 ...

- in Tool Subtract added an option to delete the source objects after a successful operation. Fixed issue #455

2020-10-30 12:04:35 +02:00

74 KiB

Raw Blame History

View Raw