diff docs/make.jl @ 1378:2b5480e2d4bf tooling/benchmarks

Fix some errors in README.md
author Jonatan Werpers <jonatan@werpers.com>
date Wed, 31 May 2023 08:59:34 +0200
parents 5761f4060f2b
children 7753fa972c74
line wrap: on
line diff