annotate .hgignore @ 1317:7110851b9c87 tooling/benchmarks

Change run_benchmark(rev) to use hg_at_revision()
author Jonatan Werpers <jonatan@werpers.com>
date Fri, 28 Apr 2023 08:34:50 +0200
parents 7bbd79d62840
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
837
126e169bb0b7 Initial setup of Documenter.jl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
1 syntax: glob
126e169bb0b7 Initial setup of Documenter.jl
Jonatan Werpers <jonatan@werpers.com>
parents:
diff changeset
2 docs/build/
845
b4f542b4f2e4 Use two folders for local and webserver builds
Jonatan Werpers <jonatan@werpers.com>
parents: 837
diff changeset
3 docs/build-local/
1172
34446df5733f Add run_and_view script
Jonatan Werpers <jonatan@werpers.com>
parents: 845
diff changeset
4 benchmark/results
1173
7bbd79d62840 Ignore the tune file
Jonatan Werpers <jonatan@werpers.com>
parents: 1172
diff changeset
5 benchmark/tune.json