diff --git a/benchmarks/.gitignore b/benchmarks/.gitignore new file mode 100644 index 0000000000..94e71ff0c0 --- /dev/null +++ b/benchmarks/.gitignore @@ -0,0 +1 @@ +profiles