]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1691 from aarroyoc/docs-os-3
authorMark Thom <[email protected]>
Mon, 23 Jan 2023 03:02:57 +0000 (04:02 +0100)
committerGitHub <[email protected]>
Mon, 23 Jan 2023 03:02:57 +0000 (04:02 +0100)
Compatible Doclog docs for library(os)


Trivial merge