diff man/search.texi @ 38490:1518ad710658

Fix last changes.
author Eli Zaretskii <eliz@gnu.org>
date Thu, 19 Jul 2001 13:24:11 +0000
parents eb0f8509d107
children d8ab01673218
line wrap: on
line diff