]> Repositorios git - scryer-prolog.git/commitdiff
Merge branch 'thun' of https://github.com/notoria/scryer-prolog into notoria-thun
authorMark Thom <[email protected]>
Wed, 3 Mar 2021 18:51:47 +0000 (11:51 -0700)
committerMark Thom <[email protected]>
Wed, 3 Mar 2021 18:51:47 +0000 (11:51 -0700)

Trivial merge