Code

Custom exit function#590

Code

Merged

jonathanslenders merged 2 commits intomasterprompt-toolkit/ptpython:masterfrom custom-exit-functionprompt-toolkit/ptpython:custom-exit-functionCopy head branch name to clipboardJul 22, 2024

+46-4

Commits

Commits on Jul 22, 2024

• Add custom 'exit' function to return from REPL.

  Show description for 780a4e1
  jonathanslenders

  committed
  780a4e1

  Copy full SHA for 780a4e1

• Fix GitHub actions workflow. Use 'ruff check' instead of 'ruff'.

  jonathanslenders

  committed
  cf94531

  Copy full SHA for cf94531