Google Git
Sign in
gerrit/gerrit/e01d9b7f20235a95070045e3231db90609e3605f
commit
e01d9b7f20235a95070045e3231db90609e3605f
[log]
author
David Ostrovsky <david@ostrovsky.org>
Sat Jan 04 22:25:01 2014 +0100
committer
David Ostrovsky <david@ostrovsky.org>
Sat Jan 04 22:28:10 2014 +0100
tree
43659c2f74cd6ce0edb9b9fd0bf557caff9f43eb
parent
1bcb2ca18056ae64d701d984b0de63ad03dc90ee [diff]
Bump Jetty version to stable 9.1 and Servlet API to 3.1

Change-Id: Ic6a374afa978e66ec1a04a2b39801da158ba31d7
10 files changed
tree: 43659c2f74cd6ce0edb9b9fd0bf557caff9f43eb
  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-httpd/
  13. gerrit-launcher/
  14. gerrit-lucene/
  15. gerrit-main/
  16. gerrit-openid/
  17. gerrit-patch-commonsnet/
  18. gerrit-patch-jgit/
  19. gerrit-pgm/
  20. gerrit-plugin-api/
  21. gerrit-plugin-archetype/
  22. gerrit-plugin-gwt-archetype/
  23. gerrit-plugin-gwtui/
  24. gerrit-plugin-js-archetype/
  25. gerrit-prettify/
  26. gerrit-reviewdb/
  27. gerrit-server/
  28. gerrit-solr/
  29. gerrit-sshd/
  30. gerrit-util-cli/
  31. gerrit-util-ssl/
  32. gerrit-war/
  33. lib/
  34. plugins/
  35. ReleaseNotes/
  36. tools/
  37. website/
  38. .buckconfig
  39. .buckversion
  40. .gitignore
  41. .gitmodules
  42. .pydevproject
  43. BUCK
  44. COPYING
  45. INSTALL
  46. SUBMITTING_PATCHES
  47. VERSION