diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-01-20 13:45:53 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-01-20 13:48:01 +0100 |
| commit | a6b573b82ace2a64174d435b0885ced71174200f (patch) | |
| tree | d6febb220112ee0425ff6e396193a76ffbb4afc3 /executor | |
| parent | 891b46a9a5a32dba986a8ba7e08d9192a2f9d894 (diff) | |
config: add another builtin suppression
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions