#----------------------------------------------------------------------------
# pps-tools-dev-files.txt - list of all files of package 'pps-tools-dev'
#
# Creation   : 2023-01-06  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
i 0755 root root pps-tools tmp/install.sh
i 0755 root root pps-tools tmp/preinstall.sh
i 0600 root root pps-tools var/install/deinstall/pps-tools-dev
u 0644 root root pps-tools var/install/packages/pps-tools-dev
#
f 0755 root root pps-tools var/install/packages
f 0755 root root pps-tools var/install/deinstall
f 0755 root root pps-tools var/install
f 0755 root root pps-tools var
f 0755 root root pps-tools tmp