diff options
Diffstat (limited to 'deprecated/org.eclipse.papyrus.uml.textedit.property.xtext.generator/.settings/org.eclipse.jdt.core.prefs')
| -rw-r--r-- | deprecated/org.eclipse.papyrus.uml.textedit.property.xtext.generator/.settings/org.eclipse.jdt.core.prefs | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/deprecated/org.eclipse.papyrus.uml.textedit.property.xtext.generator/.settings/org.eclipse.jdt.core.prefs b/deprecated/org.eclipse.papyrus.uml.textedit.property.xtext.generator/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 00000000000..0604c7d69ec --- /dev/null +++ b/deprecated/org.eclipse.papyrus.uml.textedit.property.xtext.generator/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,15 @@ +#Tue Jun 29 15:11:53 CEST 2010
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.doc.comment.support=enabled
+org.eclipse.jdt.core.compiler.problem.invalidJavadoc=ignore
+org.eclipse.jdt.core.compiler.problem.invalidJavadocTags=disabled
+org.eclipse.jdt.core.compiler.problem.invalidJavadocTagsDeprecatedRef=disabled
+org.eclipse.jdt.core.compiler.problem.invalidJavadocTagsNotVisibleRef=disabled
+org.eclipse.jdt.core.compiler.problem.invalidJavadocTagsVisibility=public
+org.eclipse.jdt.core.compiler.problem.missingJavadocComments=error
+org.eclipse.jdt.core.compiler.problem.missingJavadocCommentsOverriding=disabled
+org.eclipse.jdt.core.compiler.problem.missingJavadocCommentsVisibility=public
+org.eclipse.jdt.core.compiler.problem.missingJavadocTagDescription=return_tag
+org.eclipse.jdt.core.compiler.problem.missingJavadocTags=ignore
+org.eclipse.jdt.core.compiler.problem.missingJavadocTagsOverriding=disabled
+org.eclipse.jdt.core.compiler.problem.missingJavadocTagsVisibility=public
|