gerrit/gerrit-launcher
Shawn O. Pearce 136d6cc3a5 Remove servlet-api from WAR/lib
It is wrong to include the servlet API in a WAR's WEB-INF/lib
directory. This confuses some servlet containers who refuse to
load the Gerrit WAR. Instead package the Jetty runtime and the
servlet API in a new WEB-INF/pgm-lib directory.

Change-Id: Ic5fe14c735e781b2d78d2fa8d0d403a08b7ee21f
2012-10-21 21:25:25 -07:00
..
.settings Remove timestamp from all org.eclipse.core.resources.prefs files. 2012-07-04 14:06:09 +02:00
src/main/java/com/google/gerrit/launcher Remove servlet-api from WAR/lib 2012-10-21 21:25:25 -07:00
.gitignore Add Intellij IDEA files to ignore list 2012-05-03 13:17:43 -07:00
pom.xml Update versions in pom's to start Gerrit 2.6 development 2012-08-22 14:09:52 +02:00