#----------------------------------------------------------------------------
# libboost_timer-dev-files.txt - list of all files of package 'libboost_timer-dev'
#
# Creation   : 2018-03-25  holbru
# Last update: $Id$
#----------------------------------------------------------------------------
i 0755 root root boost tmp/install.sh
i 0755 root root boost tmp/preinstall.sh
i 0600 root root boost var/install/deinstall/libboost_timer-dev
u 0644 root root boost var/install/packages/libboost_timer-dev
#