# Last edited on 2017-07-28 02:02:51 by jstolfi

PROGS := cmp_dirs_inc.sh

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