diff TODO.md @ 1274:c8d6580d9307 tooling/benchmarks

Add Make targets for running benchmarks
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Tue, 28 Feb 2023 20:46:29 +0100
parents 396278072f18
children eeecdf135912 6567e38b05ca
line wrap: on
line diff