#----------------------------------------------------------------------------
# php7-gmp-files.txt - list of all files of package 'php7-gmp'
#
# Creation   : 2019-01-08  schlotze
# Last update: $Id$
#----------------------------------------------------------------------------
u 0644 root root php7-gmp etc/php7/conf.d/gmp.ini
#
f 0755 root root php7-gmp etc/php7/conf.d
f 0755 root root php7-gmp etc/php7