jetty.project/jetty-osgi/jetty-osgi-boot
Greg Wilkins 32bc9292a2 Merge remote-tracking branch 'origin/jetty-9.4.x' 2017-05-31 11:56:47 +02:00
..
jettyhome Merged branch 'jetty-9.4.x' into 'master'. 2017-05-18 21:12:50 +02:00
src/main Merge remote-tracking branch 'origin/jetty-9.4.x' 2017-05-31 11:56:47 +02:00
build.properties clean 2010-06-10 22:55:47 +00:00
pom.xml Updating to version 9.4.6-SNAPSHOT 2017-05-02 14:29:09 -07:00