diff docs/src/index.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 126e169bb0b7
children 471a948cd2b2
line wrap: on
line diff