diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2023-01-16 14:27:32 +0100 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2023-01-16 14:35:55 +0100 |
| commit | b48f5739d7a88ff0b2a2bfd55a6e8ddb10b0520d (patch) | |
| tree | f13fa146e6287a02d5a5a4d0d0656ee8ba4ba35a /org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.17.target | |
| parent | 42d78f788c18423a1b01cbdcffcf58781ff8137e (diff) | |
| download | jgit-b48f5739d7a88ff0b2a2bfd55a6e8ddb10b0520d.tar.gz jgit-b48f5739d7a88ff0b2a2bfd55a6e8ddb10b0520d.zip | |
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
Diffstat (limited to 'org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.17.target')
| -rw-r--r-- | org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.17.target | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.17.target b/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.17.target index 8f041a2d51..72f96f322d 100644 --- a/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.17.target +++ b/org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.17.target @@ -1,7 +1,7 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> <?pde?> <!-- generated with https://github.com/eclipse-cbi/targetplatform-dsl --> -<target name="jgit-4.17" sequenceNumber="1673448236"> +<target name="jgit-4.17" sequenceNumber="1673875570"> <locations> <location includeMode="slicer" includeAllPlatforms="false" includeSource="true" includeConfigurePhase="true" type="InstallableUnit"> <unit id="org.eclipse.jetty.http" version="10.0.13"/> @@ -14,6 +14,11 @@ <repository id="jetty-10.0.x" location="https://download.eclipse.org/oomph/jetty/release/10.0.13/"/> </location> <location includeMode="slicer" includeAllPlatforms="false" includeSource="true" includeConfigurePhase="true" type="InstallableUnit"> + <unit id="jakarta.servlet-api" version="4.0.0"/> + <unit id="jakarta.servlet-api.source" version="4.0.0"/> + <repository id="jetty-10.0.6" location="https://download.eclipse.org/eclipse/jetty/10.0.6/"/> + </location> + <location includeMode="slicer" includeAllPlatforms="false" includeSource="true" includeConfigurePhase="true" type="InstallableUnit"> <unit id="com.google.gson" version="2.10.0.v20221207-1049"/> <unit id="com.google.gson.source" version="2.10.0.v20221207-1049"/> <unit id="com.jcraft.jsch" version="0.1.55.v20221112-0806"/> |