#----------------------------------------------------------------------------
# php7-redis-files.txt - list of all files of package 'php7-redis'
#
# Creation   : 2018-12-02  schlotze
# Last update: $Id$
#----------------------------------------------------------------------------
b 0644 root root php7-redis usr/lib/php7/extensions/redis.so
u 0644 root root php7-redis var/install/packages/php7-redis
#
f 0755 root root php7-redis usr/lib/php7/extensions
f 0755 root root php7-redis usr/lib/php7