diff man/search.texi @ 59061:a7985894de81

Comment change.
author Richard M. Stallman <rms@gnu.org>
date Tue, 21 Dec 2004 11:50:52 +0000
parents cb59b8d0f534
children 856e8ee31fcb f2ebccfa87d4
line wrap: on
line diff