Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add a hint about
exit()
to the help message when the user types ?
…
… and presses enter Co-authored-by: Jeff Bezanson <[email protected]>
- Loading branch information