diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-05-16 14:27:59 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-16 14:27:59 -0700 |
| commit | ffb66e506d9083140196d9b4b2a46e15bc4a5d1e (patch) | |
| tree | 3c9438190812a5aa1aa41dff10bb4cebecbd46a8 /executor/common.h | |
| parent | e9de07e8ee4b655f0f1796c1ff937b59de618361 (diff) | |
| parent | 48d870ba3e6b9c9e7b4af9abd1dfd2c06a1653bd (diff) | |
Merge pull request #172 from baishuai/master
repro: quick return when user press ctrl^C
Diffstat (limited to 'executor/common.h')
0 files changed, 0 insertions, 0 deletions