diff options
author | Eike Stepper | 2008-08-01 19:23:46 +0000 |
---|---|---|
committer | Eike Stepper | 2008-08-01 19:23:46 +0000 |
commit | e7d9e1ef28da792a2cd39e3572e05313b95f6c8f (patch) | |
tree | 7da50711b48f7132191dc81c77fda0f16e644564 /plugins/org.eclipse.emf.cdo.ui/.settings/org.eclipse.jdt.ui.prefs | |
parent | f6d1c8a5d523f48f36ea9a1b17bf7eccedbab69c (diff) | |
download | cdo-e7d9e1ef28da792a2cd39e3572e05313b95f6c8f.tar.gz cdo-e7d9e1ef28da792a2cd39e3572e05313b95f6c8f.tar.xz cdo-e7d9e1ef28da792a2cd39e3572e05313b95f6c8f.zip |
[241121] Develop POP Process Tooling
https://bugs.eclipse.org/bugs/show_bug.cgi?id=241121
Diffstat (limited to 'plugins/org.eclipse.emf.cdo.ui/.settings/org.eclipse.jdt.ui.prefs')
-rw-r--r-- | plugins/org.eclipse.emf.cdo.ui/.settings/org.eclipse.jdt.ui.prefs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/org.eclipse.emf.cdo.ui/.settings/org.eclipse.jdt.ui.prefs b/plugins/org.eclipse.emf.cdo.ui/.settings/org.eclipse.jdt.ui.prefs index b7c1575976..52a0b4b169 100644 --- a/plugins/org.eclipse.emf.cdo.ui/.settings/org.eclipse.jdt.ui.prefs +++ b/plugins/org.eclipse.emf.cdo.ui/.settings/org.eclipse.jdt.ui.prefs @@ -1,4 +1,4 @@ -#Sat Feb 23 10:49:15 CET 2008 +#Fri Aug 01 21:18:51 CEST 2008 cleanup.add_default_serial_version_id=true cleanup.add_generated_serial_version_id=false cleanup.add_missing_annotations=true @@ -18,6 +18,7 @@ cleanup.format_source_code_changes_only=false cleanup.make_local_variable_final=true cleanup.make_parameters_final=false cleanup.make_private_fields_final=true +cleanup.make_type_abstract_if_missing_method=false cleanup.make_variable_declarations_final=false cleanup.never_use_blocks=false cleanup.never_use_parentheses_in_expressions=true |