diff src/search.c @ 4458:cef07afc1e9e

Doc fix.
author Richard M. Stallman <rms@gnu.org>
date Thu, 05 Aug 1993 17:38:20 +0000
parents 7a2e1d7362c5
children ad4add779dac
line wrap: on
line diff