]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1948 from triska/chars_si
authorMark Thom <[email protected]>
Fri, 4 Aug 2023 00:34:19 +0000 (18:34 -0600)
committerGitHub <[email protected]>
Fri, 4 Aug 2023 00:34:19 +0000 (18:34 -0600)
add character_si/1 and use it to correct chars_si/1


Trivial merge