From 45de4fa2cb638a8e20fa27b3d88435a697bb9df8 Mon Sep 17 00:00:00 2001
From: Matthias Sohn <matthias.sohn@sap.com>
Date: Sat, 22 Apr 2023 00:03:56 +0200
Subject: Update jetty to 10.0.15 and use it from Maven central directly

and update servlet-api to 4.0.1

Change-Id: Id17aad56fc6f10dd64ce088c4b5a0532f5f0c588
---
 org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.20.tpd | 1 -
 1 file changed, 1 deletion(-)

(limited to 'org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.20.tpd')

diff --git a/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.20.tpd b/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.20.tpd
index b915cd1910..7c98488390 100644
--- a/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.20.tpd
+++ b/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.20.tpd
@@ -1,6 +1,5 @@
 target "jgit-4.20" with source configurePhase
 
-include "projects/jetty-10.0.x.tpd"
 include "orbit/R20230302014618-2023-03.tpd"
 include "maven/dependencies.tpd"
 
-- 
cgit v1.2.3