diff --git a/core/prof/.gitignore b/core/prof/.gitignore new file mode 100644 index 000000000..06b7bfaa5 --- /dev/null +++ b/core/prof/.gitignore @@ -0,0 +1 @@ +memperf-html