# Last edited on 2024-03-30 05:55:41 by stolfi

PROGS := list_message_sizes.gawk

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