# Last edited on 2022-10-22 02:36:33 by stolfi

PROGS := ${wildcard *.sh}

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