Mercurial > hg > MPIWGThesaurus
view .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 |
line wrap: on
line source
#Mon Apr 11 12:31:27 CEST 2011 eclipse.preferences.version=1 encoding/<project>=UTF-8