diff options
author | 2017-02-18 17:08:19 +0000 | |
---|---|---|
committer | 2017-02-18 17:08:19 +0000 | |
commit | c962ac4a2df571599cdf91e33c0afcf29a5ea048 (patch) | |
tree | b6c27e4bd9aa3f7ad5fc008c3ea20a83e26736a0 /jenkins.ini.example | |
parent | 9b2f8451ab1461b356537813bd7b9051feeda9ba (diff) | |
parent | 72524f7bd2cfde11ca7706c9fe90ae46bf9636a4 (diff) |
Merge "switch to release-version-java-daily"
Diffstat (limited to 'jenkins.ini.example')
0 files changed, 0 insertions, 0 deletions