Index of /groups/public/org/jenkins-ci/plugins/external-workspace-manager/1.4.2
Name
Last Modified
Size
Description
Parent Directory
external-workspace-manager-1.4.2.pom
Sat Aug 01 10:28:42 UTC 2026
3561
external-workspace-manager-1.4.2.pom.sha1
Sat Aug 01 10:28:42 UTC 2026
40