diff options
Diffstat (limited to 'org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.ui.prefs')
-rw-r--r-- | org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.ui.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.ui.prefs index 8913ba0f7bd..5aaa7950c0f 100644 --- a/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.ui.prefs +++ b/org.eclipse.ui.workbench.texteditor/.settings/org.eclipse.jdt.ui.prefs @@ -1,7 +1,7 @@ eclipse.preferences.version=1 editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true formatter_profile=org.eclipse.jdt.ui.default.eclipse_profile -formatter_settings_version=12 +formatter_settings_version=20 org.eclipse.jdt.ui.exception.name=e org.eclipse.jdt.ui.gettersetter.use.is=true org.eclipse.jdt.ui.ignorelowercasenames=true |