view .settings/org.eclipse.core.resources.prefs @ 20:82e72e034b0b

Merge with 1252aeadcd2939146e19e7423e5cdd856db5e152
author dwinter
date Wed, 29 Feb 2012 09:29:17 +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