Merge pull request #49 from codelicia/psalm-remove-ignored-file

Remove ignored file from psalm.xml
codelicia · Nov 13, 2020 · 4885f51 · 4885f51
2 parents 76b62d9 + c002279
commit 4885f51
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/psalm.xml b/psalm.xml
@@ -9,7 +9,6 @@
         <directory name="src"/>
         <ignoreFiles>
             <directory name="src/External"/>
-            <file name="src/Config/ConfigFile.php"/>
             <file name="src/Config/ConfigFileValidation.php"/>
         </ignoreFiles>
     </projectFiles>