diff options
| author | Michael Peter Christen <mc@yacy.net> | 2020-12-03 00:21:15 +0100 |
|---|---|---|
| committer | Michael Peter Christen <mc@yacy.net> | 2020-12-03 00:21:15 +0100 |
| commit | 3213d9db37f4fc4bddd2c32bb44e740e8565fe14 (patch) | |
| tree | b25aff2f17f0979a0b79ad09758016879c5d9e27 /lib/jetty-io-9.4.17.v20190418.jar | |
| parent | 787fec065836bf92cab4c5add995202e05dbb31e (diff) | |
updated jetty from 9.4.17 to 9.4.35
and fixed a bug in ServerSideIncludes that appeared only in that recent
version of jetty
Diffstat (limited to 'lib/jetty-io-9.4.17.v20190418.jar')
| -rw-r--r-- | lib/jetty-io-9.4.17.v20190418.jar | bin | 156436 -> 0 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/jetty-io-9.4.17.v20190418.jar b/lib/jetty-io-9.4.17.v20190418.jar Binary files differdeleted file mode 100644 index d50a6cedc..000000000 --- a/lib/jetty-io-9.4.17.v20190418.jar +++ /dev/null |