xZero707/droidfish
1
0
Fork 0
mirror of https://github.com/peterosterlund2/droidfish.git synced 2025-03-26 07:05:16 +01:00
Code Issues Packages Projects Releases Wiki Activity

Disabled missing enum case despite default

Browse Source
This commit is contained in:
P. Most 2016-05-14 22:53:18 +02:00
parent db41da5ad7
commit 01cc87fc58
1 changed files with 1 additions and 0 deletions

1
DroidFish/.settings/org.eclipse.jdt.core.prefs

@ -6,4 +6,5 @@ org.eclipse.jdt.core.compiler.compliance=1.6
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
org.eclipse.jdt.core.compiler.problem.emptyStatement=warning
org.eclipse.jdt.core.compiler.problem.missingEnumCaseDespiteDefault=disabled
org.eclipse.jdt.core.compiler.source=1.6