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
VersionUpgrade40to41.py