.settings/org.eclipse.php.core.prefs
changeset 108 4b73a767a6c0
equal deleted inserted replaced
107:9170357f7e90 108:4b73a767a6c0
       
     1 #Sat Sep 24 15:42:33 CEST 2011
       
     2 eclipse.preferences.version=1
       
     3 include_path=