diff --git a/.gitignore b/.gitignore index a44b733b101..de25253df82 100644 --- a/.gitignore +++ b/.gitignore @@ -86,3 +86,4 @@ TAGS coverage/ externals/ htmlcov/ +gmon.out