Remove old psalm-config

simplesamlphp · Feb 15, 2024 · 5d1985e · 5d1985e
1 parent d0dfd79
commit 5d1985e
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 43 deletions.
diff --git a/psalm-dev.xml b/psalm-dev.xml
diff --git a/psalm.xml b/psalm.xml