Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
plugins/ | 2023-08-31 09:33 | - | |
index.html | 2024-09-04 08:50 | 368K | |
Jetty-Updates-Updates-10.0.16.zip.sha512 | 2023-08-31 09:33 | 163 | |
Jetty-Updates-Updates-10.0.16.zip.sha256 | 2023-08-31 09:33 | 99 | |
Jetty-Updates-Updates-10.0.16.zip | 2023-08-31 09:33 | 7.2M | |
p2.index | 2023-08-31 09:33 | 172 | |
artifacts.xml.xz | 2023-08-31 09:33 | 70K | |
content.xml.xz | 2023-08-31 09:33 | 14K | |
artifacts.jar | 2023-08-31 09:33 | 77K | |
content.jar | 2023-08-31 09:33 | 20K | |