diff make-dist @ 103518:b3548b2342dc

Unindent and refill some doc-strings.
author Glenn Morris <rgm@gnu.org>
date Mon, 22 Jun 2009 06:41:50 +0000
parents c86e2f4ec9f8
children a4c64847c698
line wrap: on
line diff