php-defaults/debian/php-dev.links
David Prévot 4d8510fd09 Update d/control
$ ./debian/rules debian/control

Git-Dch: Ignore
2024-01-25 17:12:21 +01:00

5 lines
244 B
Plaintext

usr/bin/php-config7.1 usr/bin/php-config.default
usr/bin/phpize7.1 usr/bin/phpize.default
usr/share/man/man1/php-config7.1.1.gz usr/share/man/man1/php-config.default.1.gz
usr/share/man/man1/phpize7.1.1.gz usr/share/man/man1/phpize.default.1.gz