]> Repositorios git - scryer-prolog.git/commit
walltime --> CPU time
authorMarkus Triska <[email protected]>
Sat, 4 Dec 2021 23:56:16 +0000 (00:56 +0100)
committerMarkus Triska <[email protected]>
Sat, 4 Dec 2021 23:56:16 +0000 (00:56 +0100)
commitcb6309d370b3d68030fb651fdaaf8cd524e20234
tree08843dafee0a501a2d317aaae8fe3c1d770e9c57
parent80658898622434acb86d432e1bbb392ddcf21f4a
walltime --> CPU time
src/lib/time.pl