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

small changes
author dwinter
date Thu, 21 Jun 2012 09:46:26 +0200
parents a844f6948dd8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8
a844f6948dd8 ?nderungen im Walker
dwinter
parents:
diff changeset
1 #Wed Jun 08 08:31:49 CEST 2011
a844f6948dd8 ?nderungen im Walker
dwinter
parents:
diff changeset
2 eclipse.preferences.version=1
a844f6948dd8 ?nderungen im Walker
dwinter
parents:
diff changeset
3 encoding//src/de/mpiwg/itgroup/eSciDoc/Tools/Pubman/PubmanFoxridgeIdentifier.java=UTF-8
a844f6948dd8 ?nderungen im Walker
dwinter
parents:
diff changeset
4 encoding//src/de/mpiwg/itgroup/eSciDoc/Tools/Pubman/PubmanFoxridgeIdentifierRelationModell.java=UTF-8