]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #437 from triska/master
authorMark Thom <[email protected]>
Fri, 1 May 2020 22:08:45 +0000 (19:08 -0300)
committerGitHub <[email protected]>
Fri, 1 May 2020 22:08:45 +0000 (19:08 -0300)
use ℤ


Trivial merge