diff make-dist @ 101923:50624469b15a

Fix stupidity in previous change.
author Glenn Morris <rgm@gnu.org>
date Tue, 10 Feb 2009 05:26:52 +0000
parents aec1dc534703
children c86e2f4ec9f8
line wrap: on
line diff