]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1671 from aarroyoc/docs-iso-ext
authorMark Thom <[email protected]>
Sat, 17 Dec 2022 23:38:22 +0000 (00:38 +0100)
committerGitHub <[email protected]>
Sat, 17 Dec 2022 23:38:22 +0000 (00:38 +0100)
Compatible Doclog docs for library(iso_ext)


Trivial merge