diff docs/make.jl @ 1536:5193e6cd6c6a

Add optional name parameter for benchmark helper. Update benchmark manifest
author Jonatan Werpers <jonatan@werpers.com>
date Thu, 11 Apr 2024 23:48:11 +0200
parents 7753fa972c74
children 40dffe6e2ecb
line wrap: on
line diff