diff man/glossary.texi @ 32362:c74db5a73b6f

Fix last change for docs search procedure (suggested by Dave Love).
author Eli Zaretskii <eliz@gnu.org>
date Tue, 10 Oct 2000 12:46:32 +0000
parents ac7e9e5e2ccb
children e7c4d54b3991
line wrap: on
line diff