.settings/org.eclipse.php.core.prefs
changeset 10 6e8bd1081c8a
parent 0 7f95f8617b0b
--- a/.settings/org.eclipse.php.core.prefs	Thu Oct 06 00:14:15 2011 +0200
+++ b/.settings/org.eclipse.php.core.prefs	Mon Oct 17 18:42:56 2011 +0200
@@ -1,3 +1,4 @@
-#Fri Sep 23 19:07:18 CEST 2011
+#Fri Oct 07 19:36:03 CEST 2011
 eclipse.preferences.version=1
 include_path=0;/hdabo_sf/app\u00050;/hdabo_sf/web\u00050;/hdabo_sf/vendor\u00050;/hdabo_sf/src
+org.eclipse.php.core.phpDoc=false