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

changeset 1
16922eb04d75
parent 0
fb9019fb1bf7
child 2
dee028db6e9b
     1.1 --- a/.settings/org.eclipse.jdt.core.prefs	Tue Feb 10 18:12:00 2015 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,4 +0,0 @@
     1.4 -eclipse.preferences.version=1
     1.5 -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
     1.6 -org.eclipse.jdt.core.compiler.compliance=1.6
     1.7 -org.eclipse.jdt.core.compiler.source=1.6

mercurial