diff benchmark/benchmark_utils.jl @ 1489:7753fa972c74 update/julia_1.10

Update docs manifest to julia 1.10 and fix issues in make docs
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Fri, 29 Dec 2023 01:06:54 +0100
parents 42738616422e
children 5193e6cd6c6a
line wrap: on
line diff