Eclipse: Adding formatter settings

[gigi.git] / .settings / org.eclipse.jdt.ui.prefs

diff --git a/.settings/org.eclipse.jdt.ui.prefs b/.settings/org.eclipse.jdt.ui.prefs
new file mode 100644 (file)
index 0000000..41e33b1
--- /dev/null
+++ b/.settings/org.eclipse.jdt.ui.prefs
@@ -0,0 +1,3 @@
+eclipse.preferences.version=1
+formatter_profile=_cacert-gigi
+formatter_settings_version=12