annotate .settings/org.eclipse.core.resources.prefs @ 2:90c0df483890 default tip

inital3
author dwinter
date Tue, 19 Aug 2014 14:25:29 +0200
parents 5e33fa5a2fdc
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
5e33fa5a2fdc initial
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff changeset
1 eclipse.preferences.version=1
5e33fa5a2fdc initial
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff changeset
2 encoding//data/OrdnerMusterJPG/pages/canon_01.txt=ISO-8859-1
5e33fa5a2fdc initial
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents:
diff changeset
3 encoding/<project>=UTF-8