Restore signal.SIGINT handler between prompts#1822
Merged
jonathanslenders merged 1 commit intoprompt-toolkit:masterfrom Dec 12, 2023
Merged
Restore signal.SIGINT handler between prompts#1822jonathanslenders merged 1 commit intoprompt-toolkit:masterfrom
jonathanslenders merged 1 commit intoprompt-toolkit:masterfrom
