diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2015-12-28 15:42:06 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2015-12-28 15:42:06 +0100 |
| commit | 3dc36baa69ba3240a7e484d6883ab64f0495f27a (patch) | |
| tree | b19643bfb99c1223eb5f6fab9528bba86bc122be /executor | |
| parent | c7f10835eb19338dd80963b9bd5ef47ef1015cf1 (diff) | |
config: update suppression for new binary name
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions