]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1370 from triska/files_must_be_chars
authorMark Thom <[email protected]>
Sat, 26 Mar 2022 18:30:58 +0000 (12:30 -0600)
committerGitHub <[email protected]>
Sat, 26 Mar 2022 18:30:58 +0000 (12:30 -0600)
ENHANCED: use newly available must_be(chars, ...), which is very fast


Trivial merge