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

 Name                     Last modified      Size  
 Parent Directory                              -   
 plugins/                 2022-08-26 06:07    -   
 p2.index                 2022-08-26 06:07  172   
 content.xml.xz           2022-08-26 06:07  4.9K  
 content.jar              2022-08-26 06:06  6.0K  
 category.xml             2022-08-26 06:06  1.2K  
 artifacts.xml.xz         2022-08-26 06:07  3.4K  
 artifacts.jar            2022-08-26 06:07  4.0K