droidfish/DroidFish/.settings
2016-05-14 22:53:18 +02:00
..
org.eclipse.jdt.core.prefs Disabled missing enum case despite default 2016-05-14 22:53:18 +02:00