]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #1142 from triska/s
authorMark Thom <[email protected]>
Tue, 14 Dec 2021 02:09:20 +0000 (19:09 -0700)
committerGitHub <[email protected]>
Tue, 14 Dec 2021 02:09:20 +0000 (19:09 -0700)
report time with "s" instead of "seconds", in analogy to time(1)


Trivial merge