diff options
| author | Mike Rennie | 2013-08-19 17:16:02 +0000 |
|---|---|---|
| committer | Mike Rennie | 2013-08-19 17:16:02 +0000 |
| commit | 8c45a225d6e280c0c8fd1cfe5744ff56c48c75a1 (patch) | |
| tree | 18b481544c2ca5e68640007438ef1ec106455883 /org.eclipse.debug.examples.mixedmode | |
| parent | 779bd79172850c4a8bb5cc170b763cde5c62457d (diff) | |
| download | eclipse.platform.debug-8c45a225d6e280c0c8fd1cfe5744ff56c48c75a1.tar.gz eclipse.platform.debug-8c45a225d6e280c0c8fd1cfe5744ff56c48c75a1.tar.xz eclipse.platform.debug-8c45a225d6e280c0c8fd1cfe5744ff56c48c75a1.zip | |
[nobug] removed unused SuppressWarnings + sync / update compilerI20130820-0800
settings
Diffstat (limited to 'org.eclipse.debug.examples.mixedmode')
| -rw-r--r-- | org.eclipse.debug.examples.mixedmode/.settings/org.eclipse.jdt.core.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.debug.examples.mixedmode/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.debug.examples.mixedmode/.settings/org.eclipse.jdt.core.prefs index 3d48a5a78..a627d3617 100644 --- a/org.eclipse.debug.examples.mixedmode/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.debug.examples.mixedmode/.settings/org.eclipse.jdt.core.prefs @@ -119,7 +119,7 @@ org.eclipse.jdt.core.compiler.problem.unusedParameterWhenImplementingAbstract=di org.eclipse.jdt.core.compiler.problem.unusedParameterWhenOverridingConcrete=disabled org.eclipse.jdt.core.compiler.problem.unusedPrivateMember=error org.eclipse.jdt.core.compiler.problem.unusedTypeParameter=ignore -org.eclipse.jdt.core.compiler.problem.unusedWarningToken=error +org.eclipse.jdt.core.compiler.problem.unusedWarningToken=warning org.eclipse.jdt.core.compiler.problem.varargsArgumentNeedCast=warning org.eclipse.jdt.core.compiler.source=1.6 org.eclipse.jdt.core.compiler.taskCaseSensitive=enabled |