diff man/gnu.texi @ 27578:e3f24c47fbcd

(elide-head): Use point-marker more.
author Dave Love <fx@gnu.org>
date Wed, 02 Feb 2000 14:27:03 +0000
parents ac7e9e5e2ccb
children df827c1def99
line wrap: on
line diff