diff --git a/.settings/org.eclipse.php.core.prefs b/.settings/org.eclipse.php.core.prefs new file mode 100644 index 0000000..2777cea --- /dev/null +++ b/.settings/org.eclipse.php.core.prefs @@ -0,0 +1,4 @@ +eclipse.preferences.version=1 +org.eclipse.php.core.taskCaseSensitive=enabled +org.eclipse.php.core.taskPriorities=NORMAL,HIGH,NORMAL,NORMAL,LOW,HIGH +org.eclipse.php.core.taskTags=TODO,FIXME,XXX,@todo,ZODO,XODO diff --git a/.settings/org.eclipse.wst.jsdt.core.prefs b/.settings/org.eclipse.wst.jsdt.core.prefs new file mode 100644 index 0000000..d4596c9 --- /dev/null +++ b/.settings/org.eclipse.wst.jsdt.core.prefs @@ -0,0 +1,4 @@ +eclipse.preferences.version=1 +org.eclipse.wst.jsdt.core.compiler.taskCaseSensitive=enabled +org.eclipse.wst.jsdt.core.compiler.taskPriorities=NORMAL,HIGH,NORMAL,HIGH,LOW +org.eclipse.wst.jsdt.core.compiler.taskTags=TODO,FIXME,XXX,XODO,ZODO -- libgit2 0.21.2