annotate .settings/org.eclipse.core.resources.prefs @ 11:d71f28dac165

FixRelationNonCurrent now fixes relations with non-current sources.
author casties
date Thu, 09 Apr 2015 20:03:51 +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