.settings/org.eclipse.core.resources.prefs
changeset 13 ed54c98a7fc8
child 18 c85b9d1ddf19
equal deleted inserted replaced
12:c92424a0eb8a 13:ed54c98a7fc8
       
     1 #Wed Oct 19 12:37:15 CEST 2011
       
     2 eclipse.preferences.version=1
       
     3 encoding/<project>=UTF-8