diff options
author | Matthias Sohn | 2019-06-11 11:28:13 +0000 |
---|---|---|
committer | Matthias Sohn | 2019-06-11 11:28:13 +0000 |
commit | 695911341da9ce647ac29e825e56f55c62440053 (patch) | |
tree | c2421ff074ea26d0a19cfa471ace44ae3bfbad84 /org.eclipse.egit.github.core | |
parent | 1d95ade7af427ef84fa67d5f736d2fc9d026b688 (diff) | |
download | egit-github-695911341da9ce647ac29e825e56f55c62440053.tar.gz egit-github-695911341da9ce647ac29e825e56f55c62440053.tar.xz egit-github-695911341da9ce647ac29e825e56f55c62440053.zip |
Update Jetty to 9.4.14
Update to the version used by JGit and EGit since quite a while.
Change-Id: Ic799270f4c3f67aa8badbf7ddc98e4c40e04f951
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.egit.github.core')
0 files changed, 0 insertions, 0 deletions