diff options
author | William Desportes <williamdes@wdes.fr> | 2022-07-13 15:56:40 +0300 |
---|---|---|
committer | William Desportes <williamdes@wdes.fr> | 2022-07-13 15:56:40 +0300 |
commit | 0daa68d85c5538cdc4f6817992d8bba5def62f88 (patch) | |
tree | ed7fec263e1813887001855ddca9293479289180 /psalm.xml | |
parent | 90543399991cdb294185f90e8ae1a45e059c31ab (diff) |
Remove ignore config.inc.php for psalm because it fails the CI
Signed-off-by: William Desportes <williamdes@wdes.fr>
Diffstat (limited to 'psalm.xml')
-rw-r--r-- | psalm.xml | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -20,7 +20,6 @@ <file name="show_config_errors.php"/> <file name="url.php"/> <ignoreFiles> - <file name="config.inc.php"/> <directory name="vendor"/> <directory name="libraries/cache"/> </ignoreFiles> |