diff --git a/dev-tools/eclipse/dot.settings/org.eclipse.jdt.ui.prefs b/dev-tools/eclipse/dot.settings/org.eclipse.jdt.ui.prefs index e812d3d7297..bce3babcbbf 100644 --- a/dev-tools/eclipse/dot.settings/org.eclipse.jdt.ui.prefs +++ b/dev-tools/eclipse/dot.settings/org.eclipse.jdt.ui.prefs @@ -1,4 +1,5 @@ -#Thu Jan 26 09:50:07 CET 2012 -eclipse.preferences.version=1 -formatter_profile=org.eclipse.jdt.ui.default.eclipse_profile -formatter_settings_version=12 +#Fri Mar 23 18:29:39 CET 2012 +eclipse.preferences.version=1 +formatter_profile=org.eclipse.jdt.ui.default.eclipse_profile +formatter_settings_version=12 +org.eclipse.jdt.ui.text.custom_code_templates=