]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1731 from triska/clpz_corrections
authorMark Thom <[email protected]>
Thu, 2 Feb 2023 05:26:08 +0000 (06:26 +0100)
committerGitHub <[email protected]>
Thu, 2 Feb 2023 05:26:08 +0000 (06:26 +0100)
correct DocLog ~/.scryerrc rendering


Trivial merge