view DVN-web/.settings/org.eclipse.jdt.core.prefs @ 7:6750dab0f86e

Adding developer guide.
author "jurzua <jurzua@mpiwg-berlin.mpg.de>"
date Tue, 26 May 2015 14:05:03 +0200
parents 2ae72563a29d
children
line wrap: on
line source

#Thu Nov 20 12:57:21 CET 2014
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
eclipse.preferences.version=1
org.eclipse.jdt.core.compiler.source=1.6
org.eclipse.jdt.core.compiler.compliance=1.6