projects / Mograsim.git / blob
? search:


1972ab1dd949d11847a57d48f74383b1f92645b5
[Mograsim.git] / LogicUI / .settings / org.eclipse.jdt.ui.prefs
1 eclipse.preferences.version=1
2 formatter_profile=_ERA-MI
3 formatter_settings_version=16
Mirror of https://github.com/Mograsim-Team/Mograsim