]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #2153 from infogulch/benchmark
authorMark Thom <[email protected]>
Sun, 12 Nov 2023 06:21:25 +0000 (07:21 +0100)
committerGitHub <[email protected]>
Sun, 12 Nov 2023 06:21:25 +0000 (07:21 +0100)
Add benchmarks


Trivial merge