#----------------------------------------------------------------------------
# php7-dev-files.txt - list of all files of package 'php7-dev'
#
# Creation   : 2020-01-19  schlotze
# Last update: $Id: php7-dev-files.txt 72063 2020-01-19 22:59:56Z schlotze $
#----------------------------------------------------------------------------
u 0755 root root php7-dev tmp/install.sh
#
f 0755 root root php7-dev tmp