.settings/org.eclipse.php.core.prefs
author verrierj
Mon, 06 Feb 2012 13:18:01 +0100
changeset 533 4d95862afbb2
parent 187 a59dd2aed213
permissions -rw-r--r--
Merge with 7bb62216b289599c8bf25e56fc066a435e2ec421

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