annotate artifact-database/.settings/org.eclipse.jdt.core.prefs @ 217:87a7773030b5

The Backend got a method that retrieves an ArtifactCollection based on its GID. artifacts/trunk@1556 c6561f87-3c4e-4783-a992-168aeb5c3f6f
author Ingo Weinzierl <ingo.weinzierl@intevation.de>
date Thu, 24 Mar 2011 15:41:25 +0000
parents 63a8aa276693
children
rev   line source
18
63a8aa276693 NameSpaceURL and NamespacePrefix added
Tim Englich <tim.englich@intevation.de>
parents:
diff changeset
1 #Tue Sep 08 09:33:09 CEST 2009
63a8aa276693 NameSpaceURL and NamespacePrefix added
Tim Englich <tim.englich@intevation.de>
parents:
diff changeset
2 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5
63a8aa276693 NameSpaceURL and NamespacePrefix added
Tim Englich <tim.englich@intevation.de>
parents:
diff changeset
3 eclipse.preferences.version=1
63a8aa276693 NameSpaceURL and NamespacePrefix added
Tim Englich <tim.englich@intevation.de>
parents:
diff changeset
4 org.eclipse.jdt.core.compiler.source=1.5
63a8aa276693 NameSpaceURL and NamespacePrefix added
Tim Englich <tim.englich@intevation.de>
parents:
diff changeset
5 org.eclipse.jdt.core.compiler.compliance=1.5

http://dive4elements.wald.intevation.org