]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1234 from aarroyoc/ctrld
authorMark Thom <[email protected]>
Wed, 19 Jan 2022 04:34:30 +0000 (21:34 -0700)
committerGitHub <[email protected]>
Wed, 19 Jan 2022 04:34:30 +0000 (21:34 -0700)
Fix Ctrl-D in toplevel


Trivial merge