]> Repositorios git - scryer-prolog.git/commit
Merge pull request #1704 from triska/time_doc
authorMark Thom <[email protected]>
Wed, 25 Jan 2023 21:51:05 +0000 (22:51 +0100)
committerGitHub <[email protected]>
Wed, 25 Jan 2023 21:51:05 +0000 (22:51 +0100)
commit058cbcf19a9a0e3efd6bdc684bd201c8f84eab52
treeade1d0c06976c4d7bb3636b53cb69467f3366297
parentc709853aa7de6185b34122aed2b567b4cbbf63a0
parent22b815dc5c5e6b1e18ee0047bbee82f13124f916
Merge pull request #1704 from triska/time_doc

DOC: correctly format the table using DocLog syntax