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