diff options
author | David Pursehouse <david.pursehouse@gmail.com> | 2016-07-14 22:59:19 +0900 |
---|---|---|
committer | David Pursehouse <david.pursehouse@gmail.com> | 2016-07-26 10:16:49 +0900 |
commit | 4528d5f56d944b9300189ef0bd42b175e5225cae (patch) | |
tree | d39c07bff0fa5f537bec638624af2ae330267938 /org.eclipse.jgit.ui/.settings/org.eclipse.jdt.core.prefs | |
parent | 053684ac2403ca113531347bf10f412a72f79b38 (diff) | |
download | jgit-4528d5f56d944b9300189ef0bd42b175e5225cae.tar.gz jgit-4528d5f56d944b9300189ef0bd42b175e5225cae.zip |
Ignore 'The value of exception parameter is not used' warning
Change-Id: I50407e4a33e35b718ca40503fdd436f1f9f70fba
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
Diffstat (limited to 'org.eclipse.jgit.ui/.settings/org.eclipse.jdt.core.prefs')
-rw-r--r-- | org.eclipse.jgit.ui/.settings/org.eclipse.jdt.core.prefs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.jgit.ui/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.jgit.ui/.settings/org.eclipse.jdt.core.prefs index ff39d16ab7..1ce7cd0219 100644 --- a/org.eclipse.jgit.ui/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.jgit.ui/.settings/org.eclipse.jdt.core.prefs @@ -99,6 +99,7 @@ org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownException=warning org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionExemptExceptionAndThrowable=enabled org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionIncludeDocCommentReference=enabled org.eclipse.jdt.core.compiler.problem.unusedDeclaredThrownExceptionWhenOverriding=disabled +org.eclipse.jdt.core.compiler.problem.unusedExceptionParameter=ignore org.eclipse.jdt.core.compiler.problem.unusedImport=error org.eclipse.jdt.core.compiler.problem.unusedLabel=error org.eclipse.jdt.core.compiler.problem.unusedLocal=error |