Ghostkeeper 5fcb59d9fc

Also rename setting in list of visible settings ...

Yeah, that's why the preferences file had a setting version number...

Contributes to issue CURA-6311.

2019-06-12 12:55:33 +02:00

..

__init__.py

Also rename setting in list of visible settings

2019-06-12 12:55:33 +02:00

plugin.json

Add version upgrade for version 4.1 to 4.2

2019-06-11 17:44:04 +02:00

VersionUpgrade41to42.py

Also rename setting in list of visible settings

2019-06-12 12:55:33 +02:00