Rename psalm.xml to psalm.xml.dist

phalcon · Oct 31, 2019 · bf702a8 · bf702a8
1 parent bb19c4e
commit bf702a8
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/psalm.xml → psalm.xml.dist b/psalm.xml → psalm.xml.dist