Index of /mirrors/jenkins/plugins/toolenv/

../
1.0/                                               29-Jun-2017 22:35       -
1.1/                                               16-May-2020 16:44       -
1.2/                                               04-Jul-2020 16:51       -
latest/                                            04-Jul-2020 16:51       -