diff make-dist @ 99744:a972544240b9

Comment.
author Glenn Morris <rgm@gnu.org>
date Thu, 20 Nov 2008 02:58:34 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff