# Last edited on 2024-03-29 01:30:49 by stolfi

PROGS := 
LIBS := stolfi_aliases.sh

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