diff make-dist @ 32308:cd03345c07c1

Mark `keep-lines', `flush-lines' and `how-many' as documented in the manual. Mark C-down-mouse-3 as documented.
author Eli Zaretskii <eliz@gnu.org>
date Sun, 08 Oct 2000 19:10:44 +0000
parents 7b81c864cccf
children a020c0f20186
line wrap: on
line diff