Skip to content

Close the .xsb output when a save is abandoned part-way through - #112

Merged
pjfanning merged 1 commit into
apache:trunkfrom
pjfanning:leak-xsb-save-path
Sep 7, 2026
Merged

Close the .xsb output when a save is abandoned part-way through#112
pjfanning merged 1 commit into
apache:trunkfrom
pjfanning:leak-xsb-save-path

Commits

Commits on Sep 7, 2026