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


Trivial merge