diff --git a/.gitignore b/.gitignore index 479b689597..5116240e03 100644 --- a/.gitignore +++ b/.gitignore @@ -4,6 +4,7 @@ build-stamp ChangeLog cover/ .coverage +.coverage.* covhtml/ dist/ doc/build