diff mx/eclipse-settings/org.eclipse.jdt.ui.prefs @ 4338:04ebcabcba4f

misc cleanup * imports, asserts, ... * let StructuredGraph.removeSplit, etc. also remove the BeginNode * Eclipse formatting: leave the header comments intact
author Lukas Stadler <lukas.stadler@jku.at>
date Fri, 27 Jan 2012 17:07:03 +0100
parents ffd5ce8fc736
children 44d92b447951
line wrap: on
line diff
--- a/mx/eclipse-settings/org.eclipse.jdt.ui.prefs	Fri Jan 27 00:40:26 2012 +0100
+++ b/mx/eclipse-settings/org.eclipse.jdt.ui.prefs	Fri Jan 27 17:07:03 2012 +0100
@@ -48,7 +48,7 @@
 cleanup_settings_version=2
 comment_clear_blank_lines=false
 comment_format_comments=true
-comment_format_header=true
+comment_format_header=false
 comment_format_html=true
 comment_format_source_code=true
 comment_indent_parameter_description=true