Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorMartin Aeschlimann2005-10-08 23:19:15 +0000
committerMartin Aeschlimann2005-10-08 23:19:15 +0000
commit1edfffc8818744f162b68e8e1ed1b9207eb1d436 (patch)
treedc20b1c44ab585256420d25f683a0d923986e77f /org.eclipse.search/.settings
parent4fa3824663f0f434bd1ab70c355c39aeccc8bf36 (diff)
downloadeclipse.platform.text-1edfffc8818744f162b68e8e1ed1b9207eb1d436.tar.gz
eclipse.platform.text-1edfffc8818744f162b68e8e1ed1b9207eb1d436.tar.xz
eclipse.platform.text-1edfffc8818744f162b68e8e1ed1b9207eb1d436.zip
clean up, renames
Diffstat (limited to 'org.eclipse.search/.settings')
-rw-r--r--org.eclipse.search/.settings/org.eclipse.jdt.core.prefs4
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs
index 64787e56c..9c05f6773 100644
--- a/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs
+++ b/org.eclipse.search/.settings/org.eclipse.jdt.core.prefs
@@ -1,4 +1,4 @@
-#Thu Feb 03 11:47:32 CET 2005
+#Sun Oct 09 00:33:35 CEST 2005
eclipse.preferences.version=1
org.eclipse.jdt.core.builder.cleanOutputFolder=clean
org.eclipse.jdt.core.builder.duplicateResourceTask=warning
@@ -38,7 +38,7 @@ org.eclipse.jdt.core.compiler.problem.methodWithConstructorName=error
org.eclipse.jdt.core.compiler.problem.missingJavadocComments=ignore
org.eclipse.jdt.core.compiler.problem.missingJavadocCommentsOverriding=enabled
org.eclipse.jdt.core.compiler.problem.missingJavadocCommentsVisibility=public
-org.eclipse.jdt.core.compiler.problem.missingJavadocTags=warning
+org.eclipse.jdt.core.compiler.problem.missingJavadocTags=ignore
org.eclipse.jdt.core.compiler.problem.missingJavadocTagsOverriding=enabled
org.eclipse.jdt.core.compiler.problem.missingJavadocTagsVisibility=private
org.eclipse.jdt.core.compiler.problem.missingSerialVersion=warning

Back to the top