jetty.project/jetty-osgi/jetty-osgi-boot
Greg Wilkins 134dfd318d Issue #1676 removed deprecated FileResource 2017-07-18 20:12:53 +02:00
..
jettyhome Merged branch 'jetty-9.4.x' into 'master'. 2017-05-18 21:12:50 +02:00
src/main Issue #1676 removed deprecated FileResource 2017-07-18 20:12:53 +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