]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #813 from triska/rebis-dev
authorMark Thom <[email protected]>
Wed, 10 Feb 2021 00:57:08 +0000 (17:57 -0700)
committerGitHub <[email protected]>
Wed, 10 Feb 2021 00:57:08 +0000 (17:57 -0700)
~| now incorporates the number of characters described so far


Trivial merge