diff --git a/.settings/org.eclipse.php.core.prefs b/.settings/org.eclipse.php.core.prefs index f0c9eeb91d6..b146462cd95 100644 --- a/.settings/org.eclipse.php.core.prefs +++ b/.settings/org.eclipse.php.core.prefs @@ -1,6 +1,6 @@ -#Wed Aug 24 17:30:40 CEST 2011 +#Sat Sep 17 16:06:10 CEST 2011 eclipse.preferences.version=1 -include_path=0;/dolibarrgitoldssh +include_path=0;/dolibarrold org.eclipse.php.core.taskCaseSensitive=enabled org.eclipse.php.core.taskPriorities=NORMAL,HIGH,NORMAL org.eclipse.php.core.taskTags=TODO,FIXME,@todo