Index of /sites/eclipse.org/gendoc/updates/releases/0.7.2/2019-06

 Name                                              Last modified      Size  Description
 Parent Directory                                                       -   
 plugins/                                          2019-09-24 12:20    -   
 features/                                         2019-09-24 12:20    -   
 content.jar                                       2019-09-24 12:20   19K  
 content.xml.xz                                    2019-09-24 12:20  9.7K  
 artifacts.jar                                     2019-09-24 12:20  4.4K  
 artifacts.xml.xz                                  2019-09-24 12:20  3.8K  
 p2.index                                          2019-09-24 12:20  172