Merge branch 'development' of https://gitlab.lrz.de/lrr-tum/students/eragp-misim...
[Mograsim.git] / plugins / net.mograsim.preferences / src / net / mograsim / preferences /
drwxr-xr-x   ..
-rw-r--r-- 2291 ColorDefinition.java
-rw-r--r-- 590 ColorManager.java
-rw-r--r-- 2190 DefaultPreferences.java
-rw-r--r-- 792 Preferences.java
-rw-r--r-- 2442 SimpleColorManager.java