# Last edited on 2024-03-30 10:27:53 by stolfi

PROGS := sort_sed_script.sh

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