diff options
| author | Devin J. Pohly <djpohly@gmail.com> | 2021-05-26 23:30:49 -0500 |
|---|---|---|
| committer | Devin J. Pohly <djpohly@gmail.com> | 2021-05-26 23:30:49 -0500 |
| commit | bd2f7fbb4082d947ec2738cd31d403e9f0c10f50 (patch) | |
| tree | 81202e7848b51b38f1b64702a0bb002ad44503a5 /Makefile | |
| parent | 823cefd2920085a0f74899fb679020005a1b6e0b (diff) | |
exit cleanly on INT/TERM
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions