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