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, 0 insertions, 15 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 deleted file mode 100644 index 0604c7d69ec..00000000000 --- a/deprecated/org.eclipse.papyrus.uml.textedit.property.xtext.generator/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,15 +0,0 @@ -#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
|