diff make-dist @ 102142:ac77f094f3e9

Comment.
author Glenn Morris <rgm@gnu.org>
date Fri, 20 Feb 2009 05:07:49 +0000
parents aec1dc534703
children c86e2f4ec9f8
line wrap: on
line diff