view .settings/org.eclipse.core.resources.prefs @ 12:6e55be78bd57

Merge with ad5c0748bd08411e7d2a6b4186a77303716c9ebb
author dwinter
date Mon, 20 Aug 2012 12:59:13 +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