]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1380 from triska/as_is
authorMark Thom <[email protected]>
Wed, 30 Mar 2022 19:56:25 +0000 (13:56 -0600)
committerGitHub <[email protected]>
Wed, 30 Mar 2022 19:56:25 +0000 (13:56 -0600)
as --> is


Trivial merge