view .settings/org.eclipse.core.resources.prefs @ 0:813aa2c5bc4b

first ingest
author dwinter
date Wed, 24 Nov 2010 16:56:28 +0100
parents
children ede4c4ead6f5
line wrap: on
line source

#Mon Aug 16 12:52:16 CEST 2010
eclipse.preferences.version=1
encoding//src/de/mpiwg/itgroup/metaDataManagerRestlet/staticPages/PID.html=UTF-8