view artifact-database/.settings/org.eclipse.jdt.core.prefs @ 379:95ff5a25a339

Avoid adding duplicated facets in DefaultOutput.addFacet(). artifacts/trunk@4185 c6561f87-3c4e-4783-a992-168aeb5c3f6f
author Ingo Weinzierl <ingo.weinzierl@intevation.de>
date Fri, 30 Mar 2012 07:21:29 +0000
parents 63a8aa276693
children
line wrap: on
line source
#Tue Sep 08 09:33:09 CEST 2009
org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
eclipse.preferences.version=1
org.eclipse.jdt.core.compiler.source=1.5
org.eclipse.jdt.core.compiler.compliance=1.5

http://dive4elements.wald.intevation.org