# Last edited on 2024-03-29 23:20:45 by stolfi

PROGS := convert_csh_to_bash.sed

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