log benchmark/benchmark_utils.jl @ 1315:0551fd71682f tooling/benchmarks

age author description
Thu, 27 Apr 2023 16:05:15 +0200 Jonatan Werpers Workaround for the display of revision in html tooling/benchmarks