From cdc8fa62b3363664f01100a29aaea267347ac5cc Mon Sep 17 00:00:00 2001
From: maks-rafalko <b0rn@list.ru>
Date: Thu, 12 Aug 2021 01:19:11 +0300
Subject: [PATCH] Rename `infection.json.dist` to `infection.json`

---
 .gitignore          |  1 -
 infection.json.dist | 21 ---------------------
 2 files changed, 22 deletions(-)
 delete mode 100644 infection.json.dist

diff --git a/.gitignore b/.gitignore
index ae2e1db23e..d0564c137c 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.dist
deleted file mode 100644
index e0d1158ff5..0000000000
--- a/infection.json.dist
+++ /dev/null
@@ -1,21 +0,0 @@
-{
-    "timeout": 25,
-    "source": {
-        "directories": [
-            "src"
-        ]
-    },
-    "logs": {
-        "badge": {
-            "branch": "master"
-        }
-    },
-    "mutators": {
-        "@default": true,
-        "MethodCallRemoval": {
-            "ignore": [
-                "Infection\\Finder\\SourceFilesFinder::__construct::63"
-            ]
-        }
-    }
-}