diff options
Diffstat (limited to 'org.eclipse.jgit.packaging/org.eclipse.jgit.target/projects/jetty-10.0.x.tpd')
| -rw-r--r-- | org.eclipse.jgit.packaging/org.eclipse.jgit.target/projects/jetty-10.0.x.tpd | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/org.eclipse.jgit.packaging/org.eclipse.jgit.target/projects/jetty-10.0.x.tpd b/org.eclipse.jgit.packaging/org.eclipse.jgit.target/projects/jetty-10.0.x.tpd deleted file mode 100644 index e1afcff6bc..0000000000 --- a/org.eclipse.jgit.packaging/org.eclipse.jgit.target/projects/jetty-10.0.x.tpd +++ /dev/null @@ -1,16 +0,0 @@ -target "jetty-10.0.x" with source configurePhase - -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] -} - -location jetty-10.0.6 "https://download.eclipse.org/eclipse/jetty/10.0.6/" { - jakarta.servlet-api [4.0.0, 5.0.0) - jakarta.servlet-api.source [4.0.0, 5.0.0) -}
\ No newline at end of file |