projects / arvados.git / blob
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' into 2903-remove-pi-active-and-success
[arvados.git] / sdk / java / .settings / org.eclipse.jdt.core.prefs
1 #Mon Apr 28 10:33:40 EDT 2014
2 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
3 eclipse.preferences.version=1
4 org.eclipse.jdt.core.compiler.source=1.6
5 org.eclipse.jdt.core.compiler.compliance=1.6