diff man/search.texi @ 47975:f86c1b7f1a64

Added (tiny change) remark.
author Kim F. Storm <storm@cua.dk>
date Tue, 22 Oct 2002 21:51:52 +0000
parents 5681198aa760
children 2eca4c95c2bf
line wrap: on
line diff