]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #849 from triska/master
authorMark Thom <[email protected]>
Tue, 2 Mar 2021 18:59:22 +0000 (11:59 -0700)
committerGitHub <[email protected]>
Tue, 2 Mar 2021 18:59:22 +0000 (11:59 -0700)
Remove duplicated definitions


Trivial merge