diff --git a/.gitignore b/.gitignore index e05b3d187a..f8957c4749 100644 --- a/.gitignore +++ b/.gitignore @@ -9,3 +9,6 @@ *.local *~ /local/ + +# profiling +profile_*