#----------------------------------------------------------------------------
# pps-tools-files.txt - list of all files of package 'pps-tools'
#
# Creation   : 2023-06-25  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
b 0755 root root pps-tools usr/bin/ppsctl
u 0755 root root pps-tools usr/bin/ppsfind
b 0755 root root pps-tools usr/bin/ppsldisc
b 0755 root root pps-tools usr/bin/ppstest
b 0755 root root pps-tools usr/bin/ppswatch
u 0644 root root pps-tools usr/share/licenses/pps-tools/COPYING
#
f 0755 root root pps-tools usr/share/licenses/pps-tools
f 0755 root root pps-tools usr/share/licenses
f 0755 root root pps-tools usr/share
f 0755 root root pps-tools usr/bin
f 0755 root root pps-tools usr