]> Repositorios git - scryer-prolog.git/commit
Merge pull request #1755 from triska/doc
authorMark Thom <[email protected]>
Fri, 10 Mar 2023 01:40:29 +0000 (02:40 +0100)
committerGitHub <[email protected]>
Fri, 10 Mar 2023 01:40:29 +0000 (02:40 +0100)
commitecd77f7512617f9c33f4a5e9435ab03940af409f
tree623db4a5a9b97169c9ddd8fd0cfb5d16f2bfadbd
parentcba09d4ea149c0ce2013fc3f6dab13dfb3e99105
parent56bd596af3c33123e8dccf6d16075e92503d0005
Merge pull request #1755 from triska/doc

various smaller documentation improvements