diff make-dist @ 97877:b2f9b466af00

Comment.
author Glenn Morris <rgm@gnu.org>
date Sat, 30 Aug 2008 20:07:58 +0000
parents f13d2ef47961
children 9419b837e9c6
line wrap: on
line diff