]> Repositorios git - scryer-prolog.git/commitdiff
Merge branch 'read_term_eof_changes'
authorMark <[email protected]>
Mon, 17 Jul 2023 19:22:51 +0000 (13:22 -0600)
committerMark <[email protected]>
Mon, 17 Jul 2023 19:22:51 +0000 (13:22 -0600)

Trivial merge