]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1734 from triska/clpz_corrections
authorMark Thom <[email protected]>
Sat, 4 Feb 2023 04:49:11 +0000 (05:49 +0100)
committerGitHub <[email protected]>
Sat, 4 Feb 2023 04:49:11 +0000 (05:49 +0100)
DOC: teletype font for reification


Trivial merge