Added String preferences
[Mograsim.git] / plugins / net.mograsim.preferences / src / net / mograsim / preferences / Preferences.java
2020-05-18 Daniel KirschtenAdded String preferences
2020-03-31 Daniel KirschtenMerge branch 'development' into 'master'
2020-03-27 Daniel KirschtenRestructured the Preferences system
2019-09-16 Daniel KirschtenMerge branch 'cont-integr-2' into 'development'
2019-09-16 Christian FemersThe final restructured version for automatic build...