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 plug-in for 4.0 to 4.1	2018-12-27 16:50:05 +01:00
VersionUpgrade40to41.py	Fix upgrade 40 to 41	2019-05-23 10:46:14 +02:00