diff make-dist @ 97752:d3e8afd9ef3a

Some doc/ updates.
author Glenn Morris <rgm@gnu.org>
date Wed, 27 Aug 2008 02:36:56 +0000
parents f13d2ef47961
children 9419b837e9c6
line wrap: on
line diff