diff make-dist @ 54057:c92801a25b2f

(Help-Int): mention the new line number feature.
author Karl Berry <karl@gnu.org>
date Wed, 18 Feb 2004 01:52:26 +0000
parents 400d9bd54631
children b5f2181a40b9
line wrap: on
line diff