diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-07-25 15:06:39 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-07-25 15:11:30 +0200 |
| commit | 0d7a12498b5f3c21ae69e98633823e357742fa31 (patch) | |
| tree | 200db016024cbe016c68efbc134e1d048afb58d7 /executor | |
| parent | 8821159f77264c4c8c7664f5b8d7dc7d84410448 (diff) | |
.gometalinter.json: delete
We don't use gometalinter anymore.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions