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

PROGS := prettify_diff_output.sh

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