#! /bin/csh -f
# File  todo
# Last edited by stolfi on Tue Oct 11 00:56:35 PDT 1988
#================================================
CardFile ~/misc/misc/to-do.cards