]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #682 from triska/dif_improvements
authorMark Thom <[email protected]>
Sat, 22 Aug 2020 23:17:32 +0000 (20:17 -0300)
committerGitHub <[email protected]>
Sat, 22 Aug 2020 23:17:32 +0000 (20:17 -0300)
Improvements to dif/2


Trivial merge