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

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