]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1732 from aarroyoc/docs-minor-fixes
authorMark Thom <[email protected]>
Fri, 3 Feb 2023 00:58:52 +0000 (01:58 +0100)
committerGitHub <[email protected]>
Fri, 3 Feb 2023 00:58:52 +0000 (01:58 +0100)
Minor fixes to docs


Trivial merge