]> Repositorios git - scryer-prolog.git/commit
Merge pull request #1656 from aarroyoc/docs-ordsets
authorMark Thom <[email protected]>
Sat, 10 Dec 2022 17:08:45 +0000 (18:08 +0100)
committerGitHub <[email protected]>
Sat, 10 Dec 2022 17:08:45 +0000 (18:08 +0100)
commit0d404ad374b3decf05786018cc14d3490740cd19
tree872223a0e16ff573f81add4e361a2975c9302986
parentd5db0c641c8853af6794140ddbf20f7ba04a4d7b
parente0464d54473e53ef73259ad91b027100dedcc832
Merge pull request #1656 from aarroyoc/docs-ordsets

Compatible Doclog docs for library(ordsets)