]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #3147 from jjtolton/error-termination-flag
authorMark Thom <[email protected]>
Tue, 2 Dec 2025 07:24:46 +0000 (00:24 -0700)
committerGitHub <[email protected]>
Tue, 2 Dec 2025 07:24:46 +0000 (00:24 -0700)
Add -t flag for custom toplevel (replaces --halt-on-error)


Trivial merge