41e33b188d92a4a859e1ee8b85f59c873c051134
[gigi.git] / .settings / org.eclipse.jdt.ui.prefs
1 eclipse.preferences.version=1
2 formatter_profile=_cacert-gigi
3 formatter_settings_version=12