jetty.project/jetty-osgi/jetty-osgi-boot
Greg Wilkins f15bd225b4 Merge remote-tracking branch 'origin/jetty-9.4.x' into jetty-10.0.x 2018-08-21 14:47:19 +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 remote-tracking branch 'origin/jetty-9.4.x' into jetty-10.0.x 2018-08-21 14:47:19 +10:00
build.properties clean 2010-06-10 22:55:47 +00:00
pom.xml Updating to version 9.4.12-SNAPSHOT 2018-07-11 17:32:16 -05:00