update to 7.0.13 (no change)

This commit is contained in:
Remi Collet 2020-11-30 10:31:04 +01:00
commit 68d1791b83
3 changed files with 8 additions and 4 deletions

1
.gitignore vendored
View file

@ -9,3 +9,4 @@
/php-phpunit-php-code-coverage7-7.0.9-075572d.tar.gz
/php-phpunit-php-code-coverage7-7.0.10-f188418.tar.gz
/php-phpunit-php-code-coverage7-7.0.12-52f5578.tar.gz
/php-phpunit-php-code-coverage7-7.0.13-ad0dcd7.tar.gz