diff options
author | Robin Rosenberg <robin.rosenberg@dewire.com> | 2012-11-25 17:19:06 +0100 |
---|---|---|
committer | Robin Rosenberg <robin.rosenberg@dewire.com> | 2012-11-25 17:20:17 +0100 |
commit | e365265ad7b58ffd4f3c1f7b1e77d9969b4cbcc6 (patch) | |
tree | ea51258fbf9c58e7be943a667e2e9f72842a7c70 /org.eclipse.jgit.http.server/.settings | |
parent | 67edd3eda77fb98673065501a2cf7c9d39db668c (diff) | |
download | jgit-e365265ad7b58ffd4f3c1f7b1e77d9969b4cbcc6.tar.gz jgit-e365265ad7b58ffd4f3c1f7b1e77d9969b4cbcc6.zip |
Do not warn about non-translated strings in the http library
The strings here are for machine-to-machine communications.
Change-Id: Ia0d19fce3d9843d18d329d9bc5b10d62c4125db8
Diffstat (limited to 'org.eclipse.jgit.http.server/.settings')
-rw-r--r-- | org.eclipse.jgit.http.server/.settings/org.eclipse.jdt.core.prefs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/org.eclipse.jgit.http.server/.settings/org.eclipse.jdt.core.prefs b/org.eclipse.jgit.http.server/.settings/org.eclipse.jdt.core.prefs index 9704453d13..bbee32a737 100644 --- a/org.eclipse.jgit.http.server/.settings/org.eclipse.jdt.core.prefs +++ b/org.eclipse.jgit.http.server/.settings/org.eclipse.jdt.core.prefs @@ -60,7 +60,7 @@ org.eclipse.jdt.core.compiler.problem.missingSerialVersion=warning org.eclipse.jdt.core.compiler.problem.missingSynchronizedOnInheritedMethod=ignore org.eclipse.jdt.core.compiler.problem.noEffectAssignment=error org.eclipse.jdt.core.compiler.problem.noImplicitStringConversion=error -org.eclipse.jdt.core.compiler.problem.nonExternalizedStringLiteral=warning +org.eclipse.jdt.core.compiler.problem.nonExternalizedStringLiteral=ignore org.eclipse.jdt.core.compiler.problem.nullAnnotationInferenceConflict=error org.eclipse.jdt.core.compiler.problem.nullReference=error org.eclipse.jdt.core.compiler.problem.nullSpecViolation=error |