annotate .settings/org.eclipse.core.resources.prefs @ 14:afe17645cdea

make om4-ismi run on tuxserve01 (openmind-ismi-dev) again.
author casties
date Tue, 07 Apr 2015 19:40:38 +0000
parents 764f47286679
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
jurzua
parents:
diff changeset
1 eclipse.preferences.version=1
jurzua
parents:
diff changeset
2 encoding/<project>=UTF-8