diff Notes.md @ 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 396278072f18
children eeecdf135912 c0bff9f6e0fb 6757cc9ba22e 5f677cd6f0b6 e2f6dafb5d83
line wrap: on
line diff