diff benchmark/benchmark_utils.jl @ 1379:8e59c85a25c0

Actually update manifests Last update was done using julia 1.8
author Jonatan Werpers <jonatan@werpers.com>
date Thu, 08 Jun 2023 09:00:48 +0200
parents 42738616422e
children 5193e6cd6c6a
line wrap: on
line diff