.settings/org.eclipse.php.core.prefs
changeset 191 43509690a898
parent 187 a59dd2aed213
equal deleted inserted replaced
190:856d63ab9617 191:43509690a898
       
     1 #Sat Sep 24 15:42:33 CEST 2011
       
     2 eclipse.preferences.version=1
       
     3 include_path=