]> WPIA git - gigi.git/history - .settings/org.eclipse.jdt.ui.prefs
fixup! [Keys] a certificate structure that looks like ...
[gigi.git] / .settings / org.eclipse.jdt.ui.prefs
2014-07-24 Janis StreibMerge remote-tracking branch 'origin/emailMgmt'
2014-07-24 Janis StreibADD: Eclipse code style: pack for static imports
2014-07-10 Felix DörreEclipse: Adding formatter settings