Skip to content
Jenkins
log in
Dashboard
TransportMaps-private-master
#105
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Git Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
updated script for public mirroring (
details
)
Commit
46e44293747822bfb3425e2e495b26c5f30e40c3
by
dabi
updated script for public mirroring
The file was modified
update-public-mirror.sh
(diff)