]> WPIA git - gigi.git/history - .settings/org.eclipse.jdt.ui.prefs
Hand out the title decision is not good.
[gigi.git] / .settings / org.eclipse.jdt.ui.prefs
2014-07-10 Felix DörreEclipse: Adding formatter settings