mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-20 21:58:33 +00:00
Implementing change in jetty.conf per new --pre={} logic. git-svn-id: svn+ssh://dev.eclipse.org/svnroot/rt/org.eclipse.jetty/jetty/trunk@1938 7e9141cc-0065-0410-87d8-b60c137991c4