# tooldel      h.b. 07.06.2002
#
# list of files which should be removed with xToolDistrib
#
# on file per line and filename relative to $TOOL
# example: bin/instdb.pl

bin/instdb.pl
