Google Git
Sign in
gerrit / gerrit / e62e42d9c363c19e6542309359f31bd37a3ed788
commite62e42d9c363c19e6542309359f31bd37a3ed788[log] [tgz]
authorEdwin Kempin <edwin.kempin@sap.com>Tue May 27 12:35:50 2014 +0200
committerShawn Pearce <sop@google.com>Thu May 29 06:39:58 2014 +0000
treeb25b58f908a4679c2b85c3dd67bcde7bd9b22326
parentd1624692bf08970f4a4efe31d5c7466733f96944 [diff]
Fix JavaDoc warning

We can't link from JavaDoc in gerrit-extension-api to
HttpServletRequest because gerrit-extension-api doesn't have a
dependency to the servlet API.

Change-Id: Ia4ca7e0b6752cfc1c2672f32ba373dd68b81983a
Signed-off-by: Edwin Kempin <edwin.kempin@sap.com>
1 file changed
tree: b25b58f908a4679c2b85c3dd67bcde7bd9b22326
  1. .settings/
  2. contrib/
  3. Documentation/
  4. gerrit-acceptance-tests/
  5. gerrit-antlr/
  6. gerrit-cache-h2/
  7. gerrit-common/
  8. gerrit-extension-api/
  9. gerrit-gwtdebug/
  10. gerrit-gwtexpui/
  11. gerrit-gwtui/
  12. gerrit-gwtui-common/
  13. gerrit-httpd/
  14. gerrit-launcher/
  15. gerrit-lucene/
  16. gerrit-main/
  17. gerrit-openid/
  18. gerrit-patch-commonsnet/
  19. gerrit-patch-jgit/
  20. gerrit-pgm/
  21. gerrit-plugin-api/
  22. gerrit-plugin-archetype/
  23. gerrit-plugin-gwt-archetype/
  24. gerrit-plugin-gwtui/
  25. gerrit-plugin-js-archetype/
  26. gerrit-prettify/
  27. gerrit-reviewdb/
  28. gerrit-server/
  29. gerrit-solr/
  30. gerrit-sshd/
  31. gerrit-util-cli/
  32. gerrit-util-ssl/
  33. gerrit-war/
  34. lib/
  35. plugins/
  36. ReleaseNotes/
  37. tools/
  38. website/
  39. .buckconfig
  40. .buckversion
  41. .gitignore
  42. .gitmodules
  43. .pydevproject
  44. BUCK
  45. COPYING
  46. INSTALL
  47. SUBMITTING_PATCHES
  48. VERSION