diff man/search.texi @ 54763:63ed691cfee6

Add comment, based on report by kdc@rcn.com (Kevin D. Clark).
author Simon Josefsson <jas@extundo.com>
date Fri, 09 Apr 2004 13:39:05 +0000
parents d46dec533480
children 1420f008c89b
line wrap: on
line diff