comparison docs/make.jl @ 1284:f19c51ddbd72 tooling/benchmarks

Update readme with info about running benchmarks from make. Fix typos
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Thu, 02 Mar 2023 09:59:42 +0100
parents bdc718c38096
children 5761f4060f2b
comparison
equal deleted inserted replaced
1274:c8d6580d9307 1284:f19c51ddbd72