diff options
author | Jan-Simon Moeller <jsmoeller@linuxfoundation.org> | 2018-12-11 19:41:08 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@automotivelinux.org> | 2018-12-11 19:41:08 +0000 |
commit | 3cdc975756d9d7ea99bb8e700403356fbafa7741 (patch) | |
tree | f9537ffbd861e9736f9928fc6e6db7bb4c9f2cfe /jenkins.ini.example | |
parent | 0640f304627fe2972dbe8577d6ee8e3dbba19cbf (diff) | |
parent | ab639ab8917bd4afdca65c44617f44610a86c70a (diff) |
Merge "Add github to known hosts"
Diffstat (limited to 'jenkins.ini.example')
0 files changed, 0 insertions, 0 deletions