diff make-dist @ 102188:5b03625f855a

one more duplicate word
author Karl Berry <karl@gnu.org>
date Sun, 22 Feb 2009 19:37:33 +0000
parents aec1dc534703
children c86e2f4ec9f8
line wrap: on
line diff