From 3301de9fbd49f8e1f018b15d883a9a217b07eefd Mon Sep 17 00:00:00 2001 From: Peter Osterlund Date: Sun, 20 Dec 2015 11:43:43 +0100 Subject: [PATCH] DroidFish: Removed no longer needed lint suppression. --- DroidFish/src/org/petero/droidfish/activities/EditOptions.java | 2 -- 1 file changed, 2 deletions(-) diff --git a/DroidFish/src/org/petero/droidfish/activities/EditOptions.java b/DroidFish/src/org/petero/droidfish/activities/EditOptions.java index 8c7e707..333868e 100644 --- a/DroidFish/src/org/petero/droidfish/activities/EditOptions.java +++ b/DroidFish/src/org/petero/droidfish/activities/EditOptions.java @@ -25,7 +25,6 @@ import org.petero.droidfish.R; import org.petero.droidfish.Util; import org.petero.droidfish.engine.UCIOptions; -import android.annotation.SuppressLint; import android.app.Activity; import android.content.Intent; import android.content.SharedPreferences; @@ -85,7 +84,6 @@ public class EditOptions extends Activity { return super.onKeyDown(keyCode, event); } - @SuppressLint("CutPasteId") private final void initUI() { setContentView(R.layout.editoptions); Util.overrideFonts(findViewById(android.R.id.content));