Commit Graph

1 Commits

Author SHA1 Message Date
Christian Grothoff
10c56bcea0
improving benchmarking logic, including more timings 2020-03-20 02:36:50 +01:00