diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-09-03 12:36:27 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-09-05 12:49:47 +0200 |
| commit | c7aabee44051ae26b6dd7f5214557ed805391c25 (patch) | |
| tree | a75a399d930dac3585881e2f03750fa34757c9d0 /executor | |
| parent | 40280fa54393449cf00247498fe0ed6485c75129 (diff) | |
manager: don't save empty reports
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions