.settings/org.eclipse.php.core.prefs
author rougeronj
Thu, 27 Sep 2012 11:33:07 +0200
changeset 807 06891536f619
parent 187 a59dd2aed213
permissions -rw-r--r--
bug correction when trying to access a content without media

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