.settings/org.eclipse.php.core.prefs
author veltr
Fri, 01 Mar 2013 18:05:02 +0100
changeset 1121 d56201bf1446
parent 187 a59dd2aed213
permissions -rw-r--r--
New metadataplayer + default "Multi segments" widget

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