diff --git a/.gitignore b/.gitignore index ae2e1db23..d0564c137 100644 --- a/.gitignore +++ b/.gitignore @@ -12,7 +12,6 @@ /build/ /devTools/Docker*.json /infection-cache -/infection.json /infection.log /phpunit.xml /tests/benchmark/*/coverage/ diff --git a/infection.json.dist b/infection.json similarity index 100% rename from infection.json.dist rename to infection.json