]> Repositorios git - scryer-prolog.git/commitdiff
Merge branch 'master' into notoria-thun notoria-thun origin/notoria-thun
authorMark Thom <[email protected]>
Wed, 3 Mar 2021 19:17:12 +0000 (12:17 -0700)
committerMark Thom <[email protected]>
Wed, 3 Mar 2021 19:17:12 +0000 (12:17 -0700)

Trivial merge