diff man/search.texi @ 38867:bd208373c5a8

Many clarifications.
author Richard M. Stallman <rms@gnu.org>
date Mon, 20 Aug 2001 03:57:13 +0000
parents eb0f8509d107
children d8ab01673218
line wrap: on
line diff