Move psalm config to dist file

mongodb · Sep 15, 2022 · 3ba3033 · 3ba3033
1 parent 5b38a82
commit 3ba3033
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -12,4 +12,7 @@ phpunit.xml
 .phpcs-cache
 phpcs.xml
 
+# psalm
+psalm.xml
+
 mongocryptd.pid
diff --git a/psalm.xml → psalm.xml.dist b/psalm.xml → psalm.xml.dist