diff options
author | 2023-07-24 18:05:27 +0000 | |
---|---|---|
committer | 2023-07-24 18:05:27 +0000 | |
commit | ad57e2fc02bf0b3a0170d3817581fdbc469f893b (patch) | |
tree | 4f822dca36a504afe8d1ef362d63fa4f3deafdc3 /jenkins-config/managed-config-files/mavenSettings/jenkins-log-archives-settings | |
parent | cc59bde2c42dd6cc3b6d296c50efd93aee9f1086 (diff) | |
parent | 023fb3b18aff1c548be3c9010493667fd91d0cdb (diff) |
Merge "Migrate DMI Plugin jobs to Java 17"
Diffstat (limited to 'jenkins-config/managed-config-files/mavenSettings/jenkins-log-archives-settings')
0 files changed, 0 insertions, 0 deletions