view .hgignore @ 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 7bbd79d62840
children
line wrap: on
line source

syntax: glob
docs/build/
docs/build-local/
benchmark/results
benchmark/tune.json