annotate software/mpdl-services/mpiwg-mpdl-cms/.settings/org.eclipse.core.resources.prefs @ 23:e845310098ba

diverse Korrekturen
author Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
date Tue, 27 Nov 2012 12:35:19 +0100
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
23
e845310098ba diverse Korrekturen
Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
parents:
diff changeset
1 #Thu May 17 12:31:24 CEST 2012
e845310098ba diverse Korrekturen
Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
parents:
diff changeset
2 eclipse.preferences.version=1
e845310098ba diverse Korrekturen
Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
parents:
diff changeset
3 encoding//src/de/mpg/mpiwg/berlin/mpdl/cms/lucene/IndexHandler.java=UTF-8
e845310098ba diverse Korrekturen
Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
parents:
diff changeset
4 encoding//src/de/mpg/mpiwg/berlin/mpdl/cms/test/TestLocal.java=UTF-8
e845310098ba diverse Korrekturen
Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
parents:
diff changeset
5 encoding//src/de/mpg/mpiwg/berlin/mpdl/cms/transform/GetFragmentsContentHandler.java=UTF-8
e845310098ba diverse Korrekturen
Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
parents:
diff changeset
6 encoding//src/de/mpg/mpiwg/berlin/mpdl/cms/transform/HighlightContentHandler.java=UTF-8