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