]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #398 from triska/master
authorMark Thom <[email protected]>
Sat, 25 Apr 2020 20:20:24 +0000 (17:20 -0300)
committerGitHub <[email protected]>
Sat, 25 Apr 2020 20:20:24 +0000 (17:20 -0300)
Several smaller improvements


Trivial merge