diff options
author | Andrey Loskutov | 2017-03-05 16:52:22 +0000 |
---|---|---|
committer | Andrey Loskutov | 2017-03-05 16:52:22 +0000 |
commit | a74c976bb9b1e1e529af3a5560cc11e6612b401e (patch) | |
tree | 2387d7ebda070439f10bb537e8054dcf7c1bcc80 | |
parent | 1bcef1c9a67ff15235a09a141c30affcbaf16aac (diff) | |
download | eclipse.platform.ua-a74c976bb9b1e1e529af3a5560cc11e6612b401e.tar.gz eclipse.platform.ua-a74c976bb9b1e1e529af3a5560cc11e6612b401e.tar.xz eclipse.platform.ua-a74c976bb9b1e1e529af3a5560cc11e6612b401e.zip |
Don't try to format file headerY20170309-1000S4_7_0_M6I20170310-2000I20170308-2000I20170308-0800I20170307-2000I20170307-0800I20170307-0610I20170307-0450I20170307-0420I20170307-0410I20170307-0150I20170306-2000I20170306-0800I20170305-2000
This breaks contributions entries, see bug 513116 comment 4.
Change-Id: I08c9a4b9f4e1aa45a60483b1c04a04d37daa19a3
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
-rw-r--r-- | org.eclipse.help.ui/.settings/org.eclipse.jdt.core.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.help.ui/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.help.ui/.settings/org.eclipse.jdt.core.prefs index 45f18e11d..734fa494f 100644 --- a/org.eclipse.help.ui/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.help.ui/.settings/org.eclipse.jdt.core.prefs @@ -151,7 +151,7 @@ org.eclipse.jdt.core.formatter.brace_position_for_switch=end_of_line org.eclipse.jdt.core.formatter.brace_position_for_type_declaration=end_of_line org.eclipse.jdt.core.formatter.comment.clear_blank_lines=false 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_source_code=true org.eclipse.jdt.core.formatter.comment.indent_parameter_description=true |