]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1770 from triska/doc
authorMark Thom <[email protected]>
Sat, 1 Apr 2023 21:28:19 +0000 (23:28 +0200)
committerGitHub <[email protected]>
Sat, 1 Apr 2023 21:28:19 +0000 (23:28 +0200)
Smaller documentation improvements to explain compilation and target directory


Trivial merge