![]() | Name | Last modified | Size |
---|---|---|---|
![]() | Parent Directory | - | |
![]() | plugins/ | 2023-10-10 10:11 | - |
![]() | 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 |
![]() | artifacts.jar | 2023-10-10 10:11 | 77K |
![]() | artifacts.xml.xz | 2023-10-10 10:11 | 70K |
![]() | content.jar | 2023-10-10 10:11 | 20K |
![]() | content.xml.xz | 2023-10-10 10:11 | 14K |
![]() | index.html | 2024-09-04 08:50 | 368K |
![]() | p2.index | 2023-10-10 10:11 | 172 |