diff man/search.texi @ 72438:d08eb7bd3ca2

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Fri, 18 Aug 2006 01:52:19 +0000
parents e9f448b5a616
children 67b9aa1b5c82 858cb33ae39d
line wrap: on
line diff