aboutsummaryrefslogtreecommitdiff
path: root/.settings/org.eclipse.jdt.core.prefs
diff options
context:
space:
mode:
authorGravatar Vitaly Takmazov2020-10-20 00:07:40 +0300
committerGravatar Vitaly Takmazov2020-10-20 00:07:40 +0300
commitf4dbea81dec60f66a69a6532e0bcc9dcd027c344 (patch)
tree7af14317ea08d38a7c1ae762c038df737cfed6fa /.settings/org.eclipse.jdt.core.prefs
parent1fb164198474f214c16a1b57e5bd88517658a6ec (diff)
Ignore some JDT warnings
Diffstat (limited to '.settings/org.eclipse.jdt.core.prefs')
-rw-r--r--.settings/org.eclipse.jdt.core.prefs4
1 files changed, 4 insertions, 0 deletions
diff --git a/.settings/org.eclipse.jdt.core.prefs b/.settings/org.eclipse.jdt.core.prefs
new file mode 100644
index 00000000..46e466ca
--- /dev/null
+++ b/.settings/org.eclipse.jdt.core.prefs
@@ -0,0 +1,4 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.problem.missingSerialVersion=ignore
+org.eclipse.jdt.core.compiler.problem.deprecation=ignore
+org.eclipse.jdt.core.compiler.problem.unusedLocal=ignore