]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1709 from triska/pio_doc
authorMark Thom <[email protected]>
Thu, 26 Jan 2023 01:02:47 +0000 (02:02 +0100)
committerGitHub <[email protected]>
Thu, 26 Jan 2023 01:02:47 +0000 (02:02 +0100)
DOC: convert library(pio) documentation to DocLog format


Trivial merge