annotate software/mpdl-services/mpiwg-mpdl-lt/.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 4a3641ae14d2
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: 19
diff changeset
1 #Wed May 16 11:47:32 CEST 2012
19
4a3641ae14d2 Erstellung
Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
parents:
diff changeset
2 eclipse.preferences.version=1
23
e845310098ba diverse Korrekturen
Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
parents: 19
diff changeset
3 encoding//src/de/mpg/mpiwg/berlin/mpdl/lt/dict/db/LexHandler.java=UTF-8
e845310098ba diverse Korrekturen
Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
parents: 19
diff changeset
4 encoding//src/de/mpg/mpiwg/berlin/mpdl/lt/text/tokenize/Tokenizer.java=UTF-8
e845310098ba diverse Korrekturen
Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
parents: 19
diff changeset
5 encoding//src/de/mpg/mpiwg/berlin/mpdl/lt/text/tokenize/TokenizerNew.java=UTF-8
e845310098ba diverse Korrekturen
Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
parents: 19
diff changeset
6 encoding//src/de/mpg/mpiwg/berlin/mpdl/lt/text/tokenize/WordContentHandler.java=UTF-8
e845310098ba diverse Korrekturen
Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
parents: 19
diff changeset
7 encoding//src/de/mpg/mpiwg/berlin/mpdl/lt/text/tokenize/XmlTokenizerContentHandler.java=UTF-8
19
4a3641ae14d2 Erstellung
Josef Willenborg <jwillenborg@mpiwg-berlin.mpg.de>
parents:
diff changeset
8 encoding//src/de/mpg/mpiwg/berlin/mpdl/test/TestLocal.java=UTF-8