diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-06-12 17:59:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-06-12 17:59:01 +0200 |
| commit | 19c176cdece883607e83c1c3ce2cb42536e72234 (patch) | |
| tree | d19e7f983df4fb457c4ce2a981baf92049d36c99 /executor | |
| parent | 3b03797c3b9611ae2e7f612a4207917889400761 (diff) | |
| parent | a4022fd84ef5554633ea3f6cf123cc053b9a7e7c (diff) | |
Merge pull request #221 from xairy/up-report-headers
report: add a few report header regexps
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions