Rename infection.json.dist to infection.json

infection · Aug 11, 2021 · 3eff3fd · 3eff3fd
1 parent e70183a
commit 3eff3fd
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 1 deletion.
diff --git 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 → infection.json b/infection.json.dist → infection.json