Index of /packages/jenkins/updates/2.222
Name
Last modified
Size
Description
Parent Directory
-
update-center.json.html
2021-06-02 18:00
2.3M
update-center.json
2021-06-02 18:00
2.3M
update-center.actual.json
2021-06-02 18:00
2.3M
plugin-documentation-urls.json
2020-05-16 17:00
155K
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443