]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #206 from triska/master
authorMark Thom <[email protected]>
Wed, 16 Oct 2019 19:17:05 +0000 (16:17 -0300)
committerGitHub <[email protected]>
Wed, 16 Oct 2019 19:17:05 +0000 (16:17 -0300)
weighted_maximum/3 now works


Trivial merge