diff options
| author | Remi Collet <remi@remirepo.net> | 2020-02-07 11:36:23 +0100 |
|---|---|---|
| committer | Remi Collet <remi@remirepo.net> | 2020-02-07 11:36:23 +0100 |
| commit | 4e0b4f75392ccdebead35d3a8ca0e902b064b59c (patch) | |
| tree | f5501cc8e6f48af4fea7c4202ef6511b9f42e67c /.gitignore | |
| parent | fe8b7daa3ca04b44ad23ee4efc4610f158d429ae (diff) | |
update to 3.0.0
raise dependency on PHP 7.3
rename to php-phpunit-php-timer3
move to /usr/share/php/SebastianBergmann/Timer3
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions