From e6038e9e9bfe410cedbf65f69a43350a72a90501 Mon Sep 17 00:00:00 2001 From: mwjames Date: Sun, 8 Oct 2017 07:44:50 +0000 Subject: [PATCH] Update phpunit.xml.dist --- phpunit.xml.dist | 1 + 1 file changed, 1 insertion(+) diff --git a/phpunit.xml.dist b/phpunit.xml.dist index 4b85edc7..103a0c6e 100644 --- a/phpunit.xml.dist +++ b/phpunit.xml.dist @@ -22,6 +22,7 @@ formats + src SemanticResultFormats.hooks.php SemanticResultFormats.parser.php SemanticResultFormats.php