view .settings/org.eclipse.core.resources.prefs @ 16:da598103dd22

publishinginfodate repaired
author dwinter
date Wed, 21 Nov 2012 12:21:18 +0100
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