annotate .settings/org.eclipse.core.resources.prefs @ 45:efdbe9eb2403

thesaurus jetzt in datenbank
author dwinter
date Mon, 25 Nov 2013 08:12:11 +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