]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #769 from notoria/between
authorMark Thom <[email protected]>
Sat, 30 Jan 2021 20:55:05 +0000 (13:55 -0700)
committerGitHub <[email protected]>
Sat, 30 Jan 2021 20:55:05 +0000 (13:55 -0700)
Removed redundant choicepoint from between/3


Trivial merge