mimo 43f358563c when saving an option to file, write only that value and not all the content of the user configDB, refs #3737 ...

This was SVN commit r17738.

2016-02-07 11:31:23 +00:00

..

setup.xml

…

splashscreen.js

…

splashscreen.txt

…

splashscreen.xml

when saving an option to file, write only that value and not all the content of the user configDB, refs #3737

2016-02-07 11:31:23 +00:00

styles.xml

…