Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Restore signal.SIGINT handler between prompts#1822

Merged
jonathanslenders merged 1 commit intoprompt-toolkit:masterfrom
tornaria:sigint-handler
Dec 12, 2023

Commits

Commits on Nov 27, 2023