diff --git a/src/Tool/Infection.php b/src/Tool/Infection.php deleted file mode 100644 index edacf83f..00000000 --- a/src/Tool/Infection.php +++ /dev/null @@ -1,21 +0,0 @@ -