Skip to content

Rename exit_immediately to immediate_exit.#153

Merged
sunfishcode merged 2 commits intomainfrom
sunfishcode/immediate_exit
Feb 15, 2025
Merged

Rename `exit_immediately` to `immediate_exit`.#153
sunfishcode merged 2 commits intomainfrom
sunfishcode/immediate_exit

Commits

Commits on Feb 6, 2025