2021-11-19 10:23:12 +02:00
|
|
|
target "jetty-10.0.x" with source configurePhase
|
|
|
|
|
2022-12-13 15:40:27 +02:00
|
|
|
location jetty-10.0.x "https://download.eclipse.org/oomph/jetty/release/10.0.13/" {
|
|
|
|
org.eclipse.jetty.http [10.0.13,10.0.14]
|
|
|
|
org.eclipse.jetty.io [10.0.13,10.0.14]
|
|
|
|
org.eclipse.jetty.security [10.0.13,10.0.14]
|
|
|
|
org.eclipse.jetty.server [10.0.13,10.0.14]
|
|
|
|
org.eclipse.jetty.servlet [10.0.13,10.0.14]
|
|
|
|
org.eclipse.jetty.util [10.0.13,10.0.14]
|
|
|
|
org.eclipse.jetty.util.ajax [10.0.13,10.0.14]
|
2021-11-19 10:23:12 +02:00
|
|
|
}
|