]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1701 from triska/diag_doc
authorMark Thom <[email protected]>
Tue, 24 Jan 2023 23:16:53 +0000 (00:16 +0100)
committerGitHub <[email protected]>
Tue, 24 Jan 2023 23:16:53 +0000 (00:16 +0100)
DOC: add DocLog documentation for library(diag)


Trivial merge