]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #316 from triska/master
authorMark Thom <[email protected]>
Wed, 8 Apr 2020 16:18:42 +0000 (13:18 -0300)
committerGitHub <[email protected]>
Wed, 8 Apr 2020 16:18:42 +0000 (13:18 -0300)
clpz_monotonic/0 --> monotonic/0


Trivial merge