diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2016-09-04 10:57:02 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2016-09-05 12:49:47 +0200 |
| commit | 136250619ea2ad1140c5933ecc7509c04d1c4c33 (patch) | |
| tree | 45be59b6feb0d2bdb2e7c82d7c1a2c7b692d5100 /executor | |
| parent | cb3e5c28a020e0b00ca237fe7e66f22041b60fbf (diff) | |
sys: resolve some old TODOs in descriptions
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions