diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-10-06 19:48:44 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-10-06 19:53:32 +0200 |
| commit | f032ffb788a43233a5229c64e7be9def44967a31 (patch) | |
| tree | e4037f4bad63cd6b6e011bbf8e87de8307f0908d /executor | |
| parent | ec073e08adfcf41cd0096cb0ba312270e4cee968 (diff) | |
manager: unify handling of various stats in web ui
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions