diff make-dist @ 97717:8b10135f8d6c

Comments.
author Glenn Morris <rgm@gnu.org>
date Tue, 26 Aug 2008 03:03:21 +0000
parents f13d2ef47961
children 9419b837e9c6
line wrap: on
line diff