diff make-dist @ 103567:0659f98d664f

Trivial header format fixes.
author Glenn Morris <rgm@gnu.org>
date Tue, 23 Jun 2009 07:44:08 +0000
parents c86e2f4ec9f8
children a4c64847c698
line wrap: on
line diff