# Last edited on 2024-03-30 06:16:47 by stolfi

PROGS := prdiff.sh

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