Johannes Meyer fb97e74453 Use the correct element identifier for the preference storage type selection ... Used to be `type' but has changed to `store' to get a more clear INI structure. fixes #8275		2015-01-26 07:39:31 +01:00
..
application	Use the correct element identifier for the preference storage type selection	2015-01-26 07:39:31 +01:00
library/Setup	Rename the preference setting `type' to `store'	2015-01-23 16:25:23 +01:00