droidfish/DroidFish/.settings
2016-08-29 18:57:23 +02:00
..
org.eclipse.jdt.core.prefs DroidFish: Updated project settings for eclipse 4.6 and Andmore. 2016-08-29 18:57:23 +02:00