comparison make-dist @ 77134:87aa947227ad

Remove date at the top of the file, since it is almost always incorrect and contains no useful info.
author Glenn Morris <rgm@gnu.org>
date Thu, 12 Apr 2007 02:31:20 +0000
parents 69151e6e8613
children 4b9e26bc6f59 ec58e5c426ef
comparison
equal deleted inserted replaced
77133:8e4480edb71e 77134:87aa947227ad