# Last edited on 2024-03-29 23:31:32 by stolfi

PROGS := egrep_vm_folder.gawk

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