diff lib-src/pop.c @ 20421:6d1f6745878f

(Info-insert-dir): Use leading space in buffer name.
author Karl Heuer <kwzh@gnu.org>
date Fri, 05 Dec 1997 08:04:59 +0000
parents 7e1538a45702
children f399e51d6d11
line wrap: on
line diff