]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #3317 from Skgland/optimize-put_back_char
authorMark Thom <[email protected]>
Mon, 25 May 2026 20:03:31 +0000 (14:03 -0600)
committerGitHub <[email protected]>
Mon, 25 May 2026 20:03:31 +0000 (14:03 -0600)
optimize put_back_char


Trivial merge