]> Repositorios git - scryer-prolog.git/commit
Merge pull request #1131 from triska/cpu_time
authorMark Thom <[email protected]>
Wed, 8 Dec 2021 03:30:00 +0000 (20:30 -0700)
committerGitHub <[email protected]>
Wed, 8 Dec 2021 03:30:00 +0000 (20:30 -0700)
commit2eae6b4be745cf211657f3b35d79fed7528f1b15
tree08843dafee0a501a2d317aaae8fe3c1d770e9c57
parent80658898622434acb86d432e1bbb392ddcf21f4a
parentcb6309d370b3d68030fb651fdaaf8cd524e20234
Merge pull request #1131 from triska/cpu_time

walltime --> CPU time