From f4dbea81dec60f66a69a6532e0bcc9dcd027c344 Mon Sep 17 00:00:00 2001
From: Vitaly Takmazov
Date: Tue, 20 Oct 2020 00:07:40 +0300
Subject: Ignore some JDT warnings

---
 .gitignore                           | 1 +
 .settings/org.eclipse.jdt.core.prefs | 4 ++++
 2 files changed, 5 insertions(+)
 create mode 100644 .settings/org.eclipse.jdt.core.prefs

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
-- 
cgit v1.2.3