diff options
Diffstat (limited to 'org.eclipse.jgit.packaging/org.eclipse.jgit.target/projects/jetty-9.3.17.tpd')
| -rw-r--r-- | org.eclipse.jgit.packaging/org.eclipse.jgit.target/projects/jetty-9.3.17.tpd | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/org.eclipse.jgit.packaging/org.eclipse.jgit.target/projects/jetty-9.3.17.tpd b/org.eclipse.jgit.packaging/org.eclipse.jgit.target/projects/jetty-9.3.17.tpd deleted file mode 100644 index 662df09f77..0000000000 --- a/org.eclipse.jgit.packaging/org.eclipse.jgit.target/projects/jetty-9.3.17.tpd +++ /dev/null @@ -1,20 +0,0 @@ -target "jetty-9.3.17" with source configurePhase - -location jetty-9.3.17 "http://download.eclipse.org/jetty/updates/jetty-bundles-9.x/9.3.17.v20170317/" { - org.eclipse.jetty.client [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.client.source [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.continuation [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.continuation.source [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.http [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.http.source [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.io [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.io.source [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.security [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.security.source [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.server [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.server.source [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.servlet [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.servlet.source [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.util [9.3.17.v20170317,9.3.17.v20170317] - org.eclipse.jetty.util.source [9.3.17.v20170317,9.3.17.v20170317] -} |