]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1657 from aarroyoc/docs-files
authorMark Thom <[email protected]>
Sat, 10 Dec 2022 17:09:01 +0000 (18:09 +0100)
committerGitHub <[email protected]>
Sat, 10 Dec 2022 17:09:01 +0000 (18:09 +0100)
Compatible Doclog docs for library(files)


Trivial merge