view .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
line wrap: on
line source

eclipse.preferences.version=1
encoding//src/main/java/org/mpi/openmind/repository/utils/NormalizerUtils.java=UTF-8
encoding/<project>=UTF-8
separateDerivedEncodings=true