diff .hgignore @ 1361:689978b1ef16

Merge tooling/benchmarks
author Vidar Stiernström <vidar.stiernstrom@it.uu.se>
date Sun, 21 May 2023 20:48:46 +0200
parents 7bbd79d62840
children
line wrap: on
line diff
--- a/.hgignore	Sat May 20 14:19:20 2023 +0200
+++ b/.hgignore	Sun May 21 20:48:46 2023 +0200
@@ -1,3 +1,5 @@
 syntax: glob
 docs/build/
 docs/build-local/
+benchmark/results
+benchmark/tune.json