Google Git
Sign in
gerrit / gerrit / 2dedf9939bbde7d4723f79974a8bf934712e6018
commit2dedf9939bbde7d4723f79974a8bf934712e6018[log] [tgz]
authorDavid Ostrovsky <david@ostrovsky.org>Sat Oct 25 18:26:21 2014 +0200
committerDavid Ostrovsky <david@ostrovsky.org>Sun Oct 26 11:24:36 2014 +0100
tree04bd9238f612996ff9dd8502b17aaa10b0cf0cdb
parent493208ae26c875d6d3a795b12cbd458a699bcec2 [diff]
Buck: Package servlet-api in WEB-INF/pgm-lib again

Idc8c24854 added servlet-api as transitive dependency to gerrit-server
Buck artifact. As the consequence servlet-api was included in lib
drectory instead of in pgm-lib.

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