Maybe needs review: fixed bug in ManualSwitch concerning the input
[Mograsim.git] / net.mograsim.plugin.branding / .settings /
drwxr-xr-x   ..
-rw-r--r-- 400 org.eclipse.jdt.core.prefs