annotate .settings/org.eclipse.core.resources.prefs @ 8:a844f6948dd8

?nderungen im Walker tools f?r pubman
author dwinter
date Mon, 14 May 2012 09:58:45 +0200
parents
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