]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: abefc00) | patch
Disable Eclipse warning about unrecognized @SuppressWarnings value 29/131029/1
authorDavid Pursehouse <david.pursehouse@gmail.com>
Wed, 17 Oct 2018 01:40:36 +0000 (10:40 +0900)
committerDavid Pursehouse <david.pursehouse@gmail.com>
Wed, 17 Oct 2018 01:40:36 +0000 (10:40 +0900)
commit7ebd434e913e863aa1508d55779787302fcad1a8
treefda93b8172ce5678d6302a8979a7bfb60dcd3c91tree | snapshot
parentabefc00ac58837e2f7933fbf450a74e8d673aa00commit | diff
Disable Eclipse warning about unrecognized @SuppressWarnings value

The code base has several @SuppressWarnings annotations to suppress
warnings raised by Error Prone, but those are not recognized by
Eclipse and there is currently no way to tell it about them [1].

Suppress them for now.

[1] https://bugs.eclipse.org/bugs/show_bug.cgi?id=392045

Change-Id: I3de7cfa8ad4370ca5be71e1303879c73ab6829c1
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
17 files changed:
org.eclipse.jgit.ant.test/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.ant/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.archive/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.http.apache/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.http.server/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.http.test/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.junit.http/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.junit/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.lfs.server.test/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.lfs.server/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.lfs.test/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.lfs/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.pgm.test/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.pgm/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.test/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit.ui/.settings/org.eclipse.jdt.core.prefs diff | blob | history
org.eclipse.jgit/.settings/org.eclipse.jdt.core.prefs diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit