]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #2165 from infogulch/bench-csv
authorMark Thom <[email protected]>
Tue, 14 Nov 2023 06:32:07 +0000 (07:32 +0100)
committerGitHub <[email protected]>
Tue, 14 Nov 2023 06:32:07 +0000 (07:32 +0100)
Bench csv


Trivial merge