Joakim Erdfelt 458aebbd01 Merge branch 'jetty-9.3.x' into jetty-9.4.x		2016-10-20 15:11:40 -07:00
..
src/main/java/org/eclipse/jetty/maven/plugin	Issue #785	2016-07-28 15:36:02 +10:00
.gitignore	…
pom.xml	Merge branch 'jetty-9.3.x' into jetty-9.4.x	2016-10-20 15:11:40 -07:00