]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #453 from triska/master
authorMark Thom <[email protected]>
Mon, 4 May 2020 17:32:26 +0000 (14:32 -0300)
committerGitHub <[email protected]>
Mon, 4 May 2020 17:32:26 +0000 (14:32 -0300)
disable goal expansion until #445 is resolved


Trivial merge