]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #845 from triska/master
authorMark Thom <[email protected]>
Mon, 1 Mar 2021 18:45:53 +0000 (11:45 -0700)
committerGitHub <[email protected]>
Mon, 1 Mar 2021 18:45:53 +0000 (11:45 -0700)
explain the new occurs_check flag


Trivial merge