diff options
| author | C47D <carlos.santiago.diaz@gmail.com> | 2019-07-23 13:02:07 -0500 |
|---|---|---|
| committer | C47D <carlos.santiago.diaz@gmail.com> | 2019-07-23 13:02:07 -0500 |
| commit | c316231dd23f333cd8d7be869f8018bd17082fda (patch) | |
| tree | 740bb83e9f3726cb93d083d9276d52a537680d78 /docs | |
| parent | b630e561a7186637965560c4a902b1811c8b90c3 (diff) | |
[travis check new boards] Do not end test if there are missing boards
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions