bubnikv 255a4e05dc Fix of "Repir from File menu doesn't save the file #2064" ...

The file was saved, albeit using an "obj" format, but into a file
with an ".stl" extension.
The software was fixed to propose a file to save with a correct ".obj"
extension.

2019-04-13 14:45:35 +02:00

3.1 KiB

Raw Blame History

View Raw