From 4206fd990396a6e204258dc9869d6f172a4142f1 Mon Sep 17 00:00:00 2001 From: Christoph Reiter <reiter.christoph@gmail.com> Date: Mon, 21 Feb 2022 11:25:51 +0100 Subject: [PATCH] psalm: remove deprecated option --- psalm.xml | 1 - 1 file changed, 1 deletion(-) diff --git a/psalm.xml b/psalm.xml index bf6e617..3e4e3d0 100644 --- a/psalm.xml +++ b/psalm.xml @@ -1,6 +1,5 @@ <?xml version="1.0"?> <psalm - totallyTyped="false" errorLevel="4" resolveFromConfigFile="true" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" -- GitLab