From 568e1f6d3a823d91ddeef1c20c01d64ee8bd65fa Mon Sep 17 00:00:00 2001 From: Daniel Kesselberg Date: Fri, 14 Aug 2020 14:31:31 +0200 Subject: Remove directory/file element. It will suppress any error of that kind in the file. That was not intended. Signed-off-by: Daniel Kesselberg --- psalm.xml | 4 ---- 1 file changed, 4 deletions(-) (limited to 'psalm.xml') diff --git a/psalm.xml b/psalm.xml index ae059566555..53ffa8974bc 100644 --- a/psalm.xml +++ b/psalm.xml @@ -45,16 +45,12 @@ - - - - -- cgit v1.2.3