debian/control: remove unnecessary versioned dependency on pkg-php-tools
authorAntonio Ospite <ao2@ao2.it>
Sat, 7 Sep 2019 20:27:07 +0000 (22:27 +0200)
committerAntonio Ospite <ao2@ao2.it>
Sat, 7 Sep 2019 21:31:08 +0000 (23:31 +0200)
Remove an unnecessary versioned dependency on pkg-php-tools, as
suggested by the following cme warning:

-----------------------------------------------------------------------
Warning in 'control source Build-Depends:1': unnecessary greater-than versioned dependency: pkg-php-tools (>= 1.7~). Debian has oldoldstable -> 1.28; oldstable -> 1.35; stable -> 1.37; unstable -> 1.37; testing -> 1.37;
Offending value: 'pkg-php-tools (>= 1.7~)'
-----------------------------------------------------------------------


No differences found