view .settings/org.eclipse.core.resources.prefs @ 9:b6cf6462d709

small changes
author dwinter
date Thu, 21 Jun 2012 09:46:26 +0200
parents a844f6948dd8
children
line wrap: on
line source

#Wed Jun 08 08:31:49 CEST 2011
eclipse.preferences.version=1
encoding//src/de/mpiwg/itgroup/eSciDoc/Tools/Pubman/PubmanFoxridgeIdentifier.java=UTF-8
encoding//src/de/mpiwg/itgroup/eSciDoc/Tools/Pubman/PubmanFoxridgeIdentifierRelationModell.java=UTF-8