diff --git a/debian/overrides/php-timer b/debian/overrides/php-timer index 7d4edc787f64cbee49010d00c0cc57cfefb2f6ac..71786aef6f26cb1fa306cfd4a5474d45eff7db1e 100644 --- a/debian/overrides/php-timer +++ b/debian/overrides/php-timer @@ -1,2 +1 @@ phpunit php-timer php-timer -