2 commits

Author	SHA1	Message	Date
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
Ghostkeeper	489b9c4c53	Add version upgrade for version 4.1 to 4.2 ... This is necessary for the renamed setting. Contributes to issue CURA-6311.	2019-06-11 17:44:04 +02:00