From 3eff3fd2dbb38c92d169966a8b5ffad2494af34f 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 => infection.json | 0
 2 files changed, 1 deletion(-)
 rename infection.json.dist => infection.json (100%)

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