]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1652 from aarroyoc/docs-lists
authorMark Thom <[email protected]>
Tue, 6 Dec 2022 16:57:46 +0000 (17:57 +0100)
committerGitHub <[email protected]>
Tue, 6 Dec 2022 16:57:46 +0000 (17:57 +0100)
Compatible Doclog docs for library(lists)


Trivial merge