diff software/mpdl-services-new/mpiwg-mpdl-cms/.settings/org.eclipse.core.resources.prefs @ 25:e9fe3186670c default tip

letzter Stand eingecheckt
author Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
date Tue, 21 May 2013 10:19:32 +0200
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/software/mpdl-services-new/mpiwg-mpdl-cms/.settings/org.eclipse.core.resources.prefs	Tue May 21 10:19:32 2013 +0200
@@ -0,0 +1,6 @@
+#Thu May 17 12:31:24 CEST 2012
+eclipse.preferences.version=1
+encoding//src/de/mpg/mpiwg/berlin/mpdl/cms/lucene/IndexHandler.java=UTF-8
+encoding//src/de/mpg/mpiwg/berlin/mpdl/cms/test/TestLocal.java=UTF-8
+encoding//src/de/mpg/mpiwg/berlin/mpdl/cms/transform/GetFragmentsContentHandler.java=UTF-8
+encoding//src/de/mpg/mpiwg/berlin/mpdl/cms/transform/HighlightContentHandler.java=UTF-8