diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-05-21 21:00:06 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-21 21:00:06 -0700 |
| commit | 288d7fe009f0f12c71d7463ef060c85d81c67042 (patch) | |
| tree | f19c37d621363ce737af469638e80f38e13d7260 /executor | |
| parent | 760d346267c0bd7efd3d0ae925c9aa59c2a3e7be (diff) | |
| parent | 07d2cc0038bc77b8c41ac9d9eb9584a638ebbf9d (diff) | |
Merge pull request #185 from prattmic/config
Add controls for executor aborts and output
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions