Index of /webtools/jetty/10.0.12/repository/?C=S&O=A

 Name                     Last modified      Size  
 Parent Directory                              -   
 plugins/                 2022-11-09 19:21    -   
 p2.index                 2022-11-09 19:21  172   
 category.xml             2022-11-09 19:21  1.2K  
 artifacts.xml.xz         2022-11-09 19:21  2.7K  
 artifacts.jar            2022-11-09 19:21  3.1K  
 content.xml.xz           2022-11-09 19:21  4.0K  
 content.jar              2022-11-09 19:21  4.5K