# Last edited on 2020-12-17 10:47:14 by jstolfi

PROGS := ${wildcard *.sh *.gawk *.py}

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