]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42d78f7) | patch
Re-add servlet-api 4.0 to the target platform 34/199434/1
authorMatthias Sohn <matthias.sohn@sap.com>
Mon, 16 Jan 2023 13:27:32 +0000 (14:27 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Mon, 16 Jan 2023 13:35:55 +0000 (14:35 +0100)
commitb48f5739d7a88ff0b2a2bfd55a6e8ddb10b0520d
treef13fa146e6287a02d5a5a4d0d0656ee8ba4ba35atree | snapshot
parent42d78f788c18423a1b01cbdcffcf58781ff8137ecommit | diff
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.packaging/org.eclipse.jgit.target/jgit-4.17.target diff | blob | history
org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.18.target diff | blob | history
org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.19.target diff | blob | history
org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.20.target diff | blob | history
org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.21.target diff | blob | history
org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.22.target diff | blob | history
org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.23.target diff | blob | history
org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.24.target diff | blob | history
org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.25.target diff | blob | history
org.eclipse.jgit.packaging/org.eclipse.jgit.target/jgit-4.26.target diff | blob | history
org.eclipse.jgit.packaging/org.eclipse.jgit.target/projects/jetty-10.0.x.tpd diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit