]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #858 from triska/master
authorMark Thom <[email protected]>
Fri, 5 Mar 2021 19:57:20 +0000 (12:57 -0700)
committerGitHub <[email protected]>
Fri, 5 Mar 2021 19:57:20 +0000 (12:57 -0700)
CLP(B) correction


Trivial merge