Index of /eclipse/tools/pdt/updates/7.2/

../
features/                                          11-Jun-2020 12:25       -
plugins/                                           11-Jun-2020 12:25       -
artifacts.jar                                      11-Jun-2020 12:25    9083
artifacts.xml.xz                                   11-Jun-2020 12:25    7616
content.jar                                        11-Jun-2020 12:25     28K
content.xml.xz                                     11-Jun-2020 12:25     12K
p2.index                                           11-Jun-2020 12:25     172