diff man/search.texi @ 81388:0a0d00f78651

(follow-all-followers, follow-generic-filter): Remove redundant checks.
author Juanma Barranquero <lekktu@gmail.com>
date Thu, 14 Jun 2007 00:06:03 +0000
parents 1e02a80ad090
children 37a6ca546c99 e6fdae9180d4
line wrap: on
line diff