# HG changeset patch # User Doug Simon # Date 1397581609 -7200 # Node ID e3491381c424d5e456311059b45af4c428e978e6 # Parent 3a1f48125f53603cc15bee0a5f4ea7b236181978 re-enabled task tags by default diff -r 3a1f48125f53 -r e3491381c424 mx/eclipse-settings/org.eclipse.jdt.core.prefs --- a/mx/eclipse-settings/org.eclipse.jdt.core.prefs Tue Apr 15 19:06:26 2014 +0200 +++ b/mx/eclipse-settings/org.eclipse.jdt.core.prefs Tue Apr 15 19:06:49 2014 +0200 @@ -100,7 +100,6 @@ org.eclipse.jdt.core.compiler.problem.suppressWarnings=enabled org.eclipse.jdt.core.compiler.problem.syntheticAccessEmulation=ignore org.eclipse.jdt.core.compiler.problem.typeParameterHiding=warning -org.eclipse.jdt.core.compiler.problem.tasks=ignore org.eclipse.jdt.core.compiler.problem.unavoidableGenericTypeProblems=enabled org.eclipse.jdt.core.compiler.problem.uncheckedTypeOperation=warning org.eclipse.jdt.core.compiler.problem.unclosedCloseable=ignore