diff options
| author |  Nicolas Noble <nicolasnoble@users.noreply.github.com> | 2016-08-01 10:09:04 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2016-08-01 10:09:04 -0700 |
| commit | 138d3e122137178ea2884160020043971d84acf0 (patch) | |
| tree | d41e4521117761374ef105b9a0024912b0e1013b /Makefile | |
| parent | 64f8d09ca0f4e4d2172c07c58df39254292a23ce (diff) | |
| parent | 96b7b521902a7e1c8b50abdb04752a84451f9a1c (diff) | |
Merge pull request #9 from vjpai/sigint
Fix exit condition
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions