comparison make-dist @ 101807:76eba80f3816

Fix previous change.
author Glenn Morris <rgm@gnu.org>
date Thu, 05 Feb 2009 06:22:39 +0000
parents aec1dc534703
children c86e2f4ec9f8
comparison
equal deleted inserted replaced
101806:73703b41e43a 101807:76eba80f3816