From 81edd1c2208678e777e304b32a6786d7f81006f6 Mon Sep 17 00:00:00 2001 From: Serkan Yildiz Date: Sun, 19 Nov 2017 04:56:20 +0200 Subject: [PATCH] Removed duplicated configuration key --- doc/tasks/infection.md | 9 --------- 1 file changed, 9 deletions(-) diff --git a/doc/tasks/infection.md b/doc/tasks/infection.md index 697322e1e..77de9d610 100644 --- a/doc/tasks/infection.md +++ b/doc/tasks/infection.md @@ -17,7 +17,6 @@ It lives under the `infection` namespace and has following configurable paramete parameters: tasks: infection: - configuration: ~ threads: ~ test_framework: ~ only_covered: false @@ -28,14 +27,6 @@ parameters: triggered_by: [php] ``` -**configuration** - -*Default: null* - -By defaut the `infection.json.dist` wil be used. -You can specify an alternate location for this file by changing this option. - - **threads** *Default: null*