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.pgm.test/tst/org | |
| 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.pgm.test/tst/org')
0 files changed, 0 insertions, 0 deletions