Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Support Ctrl+C handling #290
Support Ctrl+C handling #290
Changes from 13 commits
2d7843d
235bf17
bf6528f
1076155
0da0b47
5180d09
3866b9e
b7930c7
7374992
d53b5ec
1fcab8b
256fb39
48a9af8
952e314
d903c2f
e5e8c32
bdacb72
17da00a
9600be2
95f53e3
0ae0881
85d5c07
3a078fa
2d28edf
7e23c0b
fc5fdb1
0ae2773
f6bed06
03a89de
1ea9e2f
0ec7e8b
be385fa
fd362ac
963c30d
87d57ec
c5fe41b
2757674
1f6208d
e0115d0
840f267
610ca21
6aa5bd1
269bb1e
a03dcdb
6116ef9
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing