diff options
author | 2022-04-05 16:16:00 +0000 | |
---|---|---|
committer | 2022-04-05 16:16:00 +0000 | |
commit | 0a995d2126096b0ff331d3508834970ff7ef0c20 (patch) | |
tree | 806f19961e38218dd84e8214131138576d18a478 /jenkins.ini.example | |
parent | 766029d3aab8719e1e79d1d3f8409ceffa057eeb (diff) | |
parent | 468ef6948b959b24503a69c63a2888836ed54f00 (diff) |
Merge "Allow rechecking a patchset about docs"
Diffstat (limited to 'jenkins.ini.example')
0 files changed, 0 insertions, 0 deletions