jetty.project/jetty-osgi/jetty-osgi-boot
olivier lamy a8e9a8a78b Merge branch 'jetty-9.4.x' into jetty-10.0.x 2018-09-11 14:21:49 +10:00
..
jettyhome Merged branch 'jetty-9.4.x' into 'jetty-10.0.x'. 2018-07-18 16:25:39 +02:00
src/main Merge branch 'jetty-9.4.x' into jetty-10.0.x 2018-09-11 14:21:49 +10:00
build.properties clean 2010-06-10 22:55:47 +00:00
pom.xml Updating to version 9.4.13-SNAPSHOT 2018-08-30 10:48:22 -05:00