diff make-dist @ 88868:0fafee1d7770

(fancy-splash-head): Warn about status. (fancy-splash-tail): Copyright up-date.
author Dave Love <fx@gnu.org>
date Thu, 18 Jul 2002 11:09:22 +0000
parents 1109a8546104
children 071e287dcbde
line wrap: on
line diff