From b64e1c9b1f63e97c8074400f3dadc8ae7925bec8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gr=C3=A9goire=20Paris?= Date: Thu, 1 Jun 2023 21:03:58 +0200 Subject: [PATCH] Remove useless ignore rule This is useless since 152f91fa3 --- psalm.xml | 1 - 1 file changed, 1 deletion(-) diff --git a/psalm.xml b/psalm.xml index f36dd60dddc..262a6ed0aa6 100644 --- a/psalm.xml +++ b/psalm.xml @@ -82,7 +82,6 @@ -