diff make-dist @ 65322:ce1b010dd1b5

(Insertion): Document precise type of `insert-char' arg COUNT.
author Thien-Thi Nguyen <ttn@gnuvola.org>
date Sat, 03 Sep 2005 18:19:32 +0000
parents 385af3e03206
children 00005df1b3eb 890cc78a5a24
line wrap: on
line diff