diff man/gnus-faq.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 54fda0e8528a
children 9c198c1dc72f
line wrap: on
line diff