]> Repositorios git - scryer-prolog.git/commitdiff
Merge branch 'rebis-dev' of https://github.com/mthom/scryer-prolog into rebis-dev
authorMark Thom <[email protected]>
Tue, 9 Feb 2021 21:30:09 +0000 (14:30 -0700)
committerMark Thom <[email protected]>
Tue, 9 Feb 2021 21:30:09 +0000 (14:30 -0700)

Trivial merge