From b48f5739d7a88ff0b2a2bfd55a6e8ddb10b0520d Mon Sep 17 00:00:00 2001 From: Matthias Sohn Date: Mon, 16 Jan 2023 14:27:32 +0100 Subject: Re-add servlet-api 4.0 to the target platform This was removed from the JGit target platform by mistake in 6ca3d219. Change-Id: Iedae0586fb96651255b67ed6dbb9ff7702c0ea54 --- .../org.eclipse.jgit.target/jgit-4.22.target | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.22.target') diff --git a/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.22.target b/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.22.target index 04b6af5031..86444a51a6 100644 --- a/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.22.target +++ b/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.22.target @@ -1,7 +1,7 @@ - + @@ -13,6 +13,11 @@ + + + + + -- cgit v1.2.3