diff mx/eclipse-settings/org.eclipse.jdt.core.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 05a6d48a6ace
line wrap: on
line diff
--- a/mx/eclipse-settings/org.eclipse.jdt.core.prefs	Fri Jan 27 00:40:26 2012 +0100
+++ b/mx/eclipse-settings/org.eclipse.jdt.core.prefs	Fri Jan 27 17:07:03 2012 +0100
@@ -167,7 +167,7 @@
 org.eclipse.jdt.core.formatter.comment.clear_blank_lines_in_javadoc_comment=false
 org.eclipse.jdt.core.formatter.comment.format_block_comments=true
 org.eclipse.jdt.core.formatter.comment.format_comments=true
-org.eclipse.jdt.core.formatter.comment.format_header=true
+org.eclipse.jdt.core.formatter.comment.format_header=false
 org.eclipse.jdt.core.formatter.comment.format_html=true
 org.eclipse.jdt.core.formatter.comment.format_javadoc_comments=true
 org.eclipse.jdt.core.formatter.comment.format_line_comments=true