diff options
author | Zach White <skullydazed@gmail.com> | 2020-11-30 11:19:44 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-30 11:19:44 -0800 |
commit | 8724a70c4c4329f09b9cf6dbda4dbefaaf3a3ee9 (patch) | |
tree | 19959fcac0e855b7187ecff8e94824d8f05a4ed4 /docs/ChangeLog | |
parent | 485e4524f47f15d9581c1cd2619bbcd321380f68 (diff) |
Reduce travis load by replacing an exclusive grep with an inclusive grep (#10964)
* add -n to avoid compiling
* switch to an include rather than exclude strategy
Diffstat (limited to 'docs/ChangeLog')
0 files changed, 0 insertions, 0 deletions