.settings/org.eclipse.php.core.prefs
changeset 187 a59dd2aed213
equal deleted inserted replaced
151:ad9041b61da0 187:a59dd2aed213
       
     1 #Sat Sep 24 15:42:33 CEST 2011
       
     2 eclipse.preferences.version=1
       
     3 include_path=