annotate .settings/org.eclipse.core.resources.prefs @ 8:478fd6f26ea8

(none)
author jurzua
date Tue, 24 Feb 2015 10:45:45 +0000
parents c56f72ecf0fb
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
6
jurzua
parents:
diff changeset
1 eclipse.preferences.version=1
jurzua
parents:
diff changeset
2 encoding//src/main/java/org/mpi/openmind/repository/utils/NormalizerUtils.java=UTF-8
jurzua
parents:
diff changeset
3 encoding/<project>=UTF-8
jurzua
parents:
diff changeset
4 separateDerivedEncodings=true