]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #333 from triska/master
authorMark Thom <[email protected]>
Sun, 12 Apr 2020 19:00:01 +0000 (16:00 -0300)
committerGitHub <[email protected]>
Sun, 12 Apr 2020 19:00:01 +0000 (16:00 -0300)
incorporate the latest improvements in the description of partial strings


Trivial merge