Mike Dillon
|
5c14e3dda4
Update to Jetty 9.3.8
|
9 years ago |
Mike Dillon
|
d080c1afc9
Update to Jetty 9.2.15
|
9 years ago |
Mike Dillon
|
999e11e771
Update to Jetty 9.3.7
|
9 years ago |
Mike Dillon
|
217e9d4f4e
Update to Jetty 9.2.14 and 9.3.6
|
10 years ago |
Mike Dillon
|
522f1ef6ce
Jetty 9.3.5.v20151012
|
10 years ago |
Mike Dillon
|
b0f55876e3
Jetty 9.3.3
|
10 years ago |
Mike Dillon
|
39bec4be69
Update jetty CMD; add @gregw as co-maintainer
|
10 years ago |
Mike Dillon
|
427bda9ef1
Jetty maintenance releases
|
10 years ago |
Mike Dillon
|
a43f8daa05
Update jetty:9.3 image to 9.3.1.v2015071
|
10 years ago |
Mike Dillon
|
8029efc055
Update jetty:9.2 image to 9.2.12.v20150709
|
10 years ago |
Mike Dillon
|
b2e9ab59f1
Update to Jetty 9.3.0.v20150612; 9.3 is latest
|
10 years ago |
Mike Dillon
|
9fdcc4f76c
Update to Jetty 9.2.11 and 9.3.0.RC1; drop 9.3-jre7 image
|
10 years ago |
Mike Dillon
|
b0a06d69b1
Switch to HA keyserver for GPG keys
|
10 years ago |
Mike Dillon
|
823745a0a2
Update for jetty repo move
|
10 years ago |
Mike Dillon
|
9be2d0dd27
Add Jetty 9.3.0.M2
|
10 years ago |
Mike Dillon
|
4bfaba8ccf
jetty 9.2.10
|
10 years ago |
Mike Dillon
|
a4a4adb75b
Update jetty image
|
10 years ago |
Mike Dillon
|
63bc3b5e7f
Jetty setuid module and default user
|
10 years ago |
Mike Dillon
|
47512c5a79
Update to Jetty 9.2.9
|
10 years ago |
Mike Dillon
|
2eae674488
Remove EOL'd Jetty versions 7 and 8
|
10 years ago |
Mike Dillon
|
c516288eeb
Update jetty:9-jre* images to Jetty 9.2.8
|
10 years ago |
Mike Dillon
|
7523911829
Add Jetty
|
10 years ago |