diff make-dist @ 105340:118ad0cdd9a8

Doc/message fixes.
author Glenn Morris <rgm@gnu.org>
date Thu, 01 Oct 2009 04:54:05 +0000
parents b51e687e8c81
children a431286b73b3
line wrap: on
line diff