diff options
Diffstat (limited to 'vendor/phpunit/php-timer/.psalm/config.xml')
| -rw-r--r-- | vendor/phpunit/php-timer/.psalm/config.xml | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/vendor/phpunit/php-timer/.psalm/config.xml b/vendor/phpunit/php-timer/.psalm/config.xml deleted file mode 100644 index 15abef058..000000000 --- a/vendor/phpunit/php-timer/.psalm/config.xml +++ /dev/null @@ -1,16 +0,0 @@ -<?xml version="1.0"?> -<psalm - xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" - xmlns="https://getpsalm.org/schema/config" - xsi:schemaLocation="https://getpsalm.org/schema/config vendor/vimeo/psalm/config.xsd" - resolveFromConfigFile="false" - totallyTyped="true" - errorBaseline=".psalm/baseline.xml" -> - <projectFiles> - <directory name="src" /> - <ignoreFiles> - <directory name="vendor" /> - </ignoreFiles> - </projectFiles> -</psalm> |