diff man/gnus-faq.texi @ 39270:daf37eb76fde

grep-command and grep-find-command user options.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 13 Sep 2001 09:17:05 +0000
parents fa8e496e2af1
children 08b94ecd1d08
line wrap: on
line diff