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