diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-13 16:15:42 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-13 16:15:42 +0200 |
| commit | c091c12dcc40872f9a045ec0e92f3732a2e5c9e0 (patch) | |
| tree | 96db6498c2cc23244f6bbb35baba8c4886345ed1 /misc/travis | |
| parent | e5ce6b728f2af108fd3c183cc7d9d540adda5193 (diff) | |
| parent | 179e15f876463116e9ede714abd535d75cabe737 (diff) | |
Merge pull request #20970 from Chaosus/fix_spam
Remove usage console spam
Diffstat (limited to 'misc/travis')
0 files changed, 0 insertions, 0 deletions