diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-02-14 10:36:24 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-02-14 10:36:24 +0100 |
| commit | 76dd003f1b102b791d8b342a1f92a6486ff56a1e (patch) | |
| tree | e93f9d558cb5b2c42c1fa26d2ebb9de12efb9bd2 /executor | |
| parent | 6a46f448c4905df99931e36fe969ee3b399fb22a (diff) | |
dashboard/dashapi: remove unused type
Stray change in the previous commit.
This unbreaks CI build.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions