diff options
| author | Joe Finney <spxtr@users.noreply.github.com> | 2017-07-05 14:05:18 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-05 14:05:18 -0700 |
| commit | 3ef47e333f9024a19851848eb9f7503337e511bd (patch) | |
| tree | 524a55c45584cff2b9602e7eeb15db2b353755b9 /scripts | |
| parent | 82708f9228f71c4c9cccb63354ec5a17be49818a (diff) | |
| parent | a04aa3be80366ddee3b69bb4d2fa90f74df74681 (diff) | |
Merge pull request #761 from spxtr/batchcop
Reword build cop duties for batch merges.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions