aboutsummaryrefslogtreecommitdiff
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
parent1fb164198474f214c16a1b57e5bd88517658a6ec (diff)
Ignore some JDT warnings
-rw-r--r--.gitignore1
-rw-r--r--.settings/org.eclipse.jdt.core.prefs4
2 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index e0dcac1a..407fd519 100644
--- a/.gitignore
+++ b/.gitignore
@@ -13,6 +13,7 @@
**/.classpath
**/.project
**/.settings/**
+!.settings/org.eclipse.jdt.core.prefs
**/bin/**
**/.DS_Store
**/out/**
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