diff benchmark/benchmark_utils.jl @ 1238:d4d1eae7c7ca tooling/benchmarks

Fix typo
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Tue, 21 Feb 2023 21:00:25 +0100
parents 5e20c0815e07
children 68dd0c9f5cac
line wrap: on
line diff