diff make-dist @ 74700:e262a8360a6a

(describe-variable): Improve blank separator lines.
author Richard M. Stallman <rms@gnu.org>
date Sun, 17 Dec 2006 22:14:11 +0000
parents ddcbd2c1b70d
children 3d45362f1d38 f1d13e615070
line wrap: on
line diff