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

(none)
author jurzua
date Tue, 24 Feb 2015 10:45:45 +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