Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
plugins/ | 2023-10-10 10:11 | - | ||
content.jar | 2023-10-10 10:11 | 20K | ||
artifacts.jar | 2023-10-10 10:11 | 77K | ||
content.xml.xz | 2023-10-10 10:11 | 14K | ||
artifacts.xml.xz | 2023-10-10 10:11 | 70K | ||
p2.index | 2023-10-10 10:11 | 172 | ||
Jetty-Updates-Updates-10.0.17.zip | 2023-10-10 10:11 | 7.3M | ||
Jetty-Updates-Updates-10.0.17.zip.sha256 | 2023-10-10 10:11 | 99 | ||
Jetty-Updates-Updates-10.0.17.zip.sha512 | 2023-10-10 10:11 | 163 | ||
index.html | 2024-05-16 16:00 | 367K | ||