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