jetty.project/jetty-start
Greg Wilkins 79874d80ff Fix #627 Use start.d or start.ini not both
create file in empty to ensure it is not pruned
2016-06-10 09:40:26 +10:00
..
src Fix #627 Use start.d or start.ini not both 2016-06-10 09:40:26 +10:00
pom.xml Issue #306 - Merge jetty-parent into jetty-project. 2016-06-07 10:23:38 +02:00