annotate .settings/org.eclipse.core.resources.prefs @ 51:5d636ba6b9cb default tip

Merge with b5d89c03f9585013d464f0240f6d82751b77186f
author dwinter
date Thu, 05 Dec 2013 13:24:57 +0100
parents b2e4605f20b2
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
b2e4605f20b2 beta version
dwinter
parents:
diff changeset
1 #Mon Apr 11 12:31:27 CEST 2011
b2e4605f20b2 beta version
dwinter
parents:
diff changeset
2 eclipse.preferences.version=1
b2e4605f20b2 beta version
dwinter
parents:
diff changeset
3 encoding/<project>=UTF-8