diff make-dist @ 103609:373ed9f0e728

Minor revisions.
author Glenn Morris <rgm@gnu.org>
date Sun, 28 Jun 2009 01:42:03 +0000
parents 15f0b2d2eef8
children b51e687e8c81
line wrap: on
line diff