diff options
author | 2021-04-15 16:53:42 +0000 | |
---|---|---|
committer | 2021-04-15 16:53:42 +0000 | |
commit | d8a0b87898170273bb76930c636edfe691354484 (patch) | |
tree | 15d9f4113aeb047e8dd88e276eb03dc680cf0677 /jenkins-config | |
parent | 30b033e8cb93cd62fc909ead82be4f4a77e5a25b (diff) | |
parent | adbd1055136dc970fd02c2dadbe7af1a55727bc2 (diff) |
Merge "builder: if new ansible dir doesn't exist, use old one."
Diffstat (limited to 'jenkins-config')
0 files changed, 0 insertions, 0 deletions