.settings/org.eclipse.php.core.prefs
author rougeronj
Thu, 14 Feb 2013 16:37:27 +0100
changeset 1111 5bb3aec02883
parent 187 a59dd2aed213
permissions -rw-r--r--
Merge with 38afc7be4a886c9cdfe7a76abd5102488f25be8e (chunked_upload)

#Sat Sep 24 15:42:33 CEST 2011
eclipse.preferences.version=1
include_path=