#! /bin/csh -f
# Last modified on Mon Dec  3 15:58:49 PST 1990 by stolfi
# date in format yy-mm-dd

date '+%y-%m-%d'

