Found the redrawing bug mentioned in the last commit
[Mograsim.git] / era.mi / .settings /
drwxr-xr-x   ..
-rw-r--r-- 29763 org.eclipse.jdt.core.prefs
-rw-r--r-- 3015 org.eclipse.jdt.ui.prefs