# Last edited on 2017-08-22 11:55:12 by jstolfi

PROGS := remove_dup_files.sh

include ${STOLFIHOME}/programs/GENERIC-SCRIPTS.make