]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1122 from triska/better_time
authorMark Thom <[email protected]>
Sat, 4 Dec 2021 23:22:14 +0000 (16:22 -0700)
committerGitHub <[email protected]>
Sat, 4 Dec 2021 23:22:14 +0000 (16:22 -0700)
ENHANCED: Better reporting for time/1.


Trivial merge