diff lispref/searching.texi @ 56248:96f38e136445

Fixing +++ tag from last checkin.
author David Kastrup <dak@gnu.org>
date Fri, 25 Jun 2004 13:00:58 +0000
parents c5ea37f370b5
children a75eb408147c 4c90ffeb71c5
line wrap: on
line diff