Index of /webtools/jetty/10.0.15/repository/?C=N&O=D

 Name                     Last modified      Size  
 Parent Directory                              -   
 plugins/                 2023-07-19 05:07    -   
 p2.index                 2023-07-19 05:07  172   
 content.xml.xz           2023-07-19 05:07  4.0K  
 content.jar              2023-07-19 05:06  4.5K  
 category.xml             2023-07-19 05:06  1.2K  
 artifacts.xml.xz         2023-07-19 05:07  5.2K  
 artifacts.jar            2023-07-19 05:07  6.1K