diff options
author | 2017-02-20 23:24:47 +0000 | |
---|---|---|
committer | 2017-02-20 23:24:47 +0000 | |
commit | c55fc861c53fe09f12067f4d1418d7e918808b26 (patch) | |
tree | 24e5f80739c22152692c567897735e9840b89e79 /jenkins.ini.example | |
parent | 4678d286c3e4fd2905fa3a7acbd9b1fa4b039507 (diff) | |
parent | d2e934a909af9a1328fbc43b40d7c35b1573f69b (diff) |
Merge "fix tag name"
Diffstat (limited to 'jenkins.ini.example')
0 files changed, 0 insertions, 0 deletions