diff doc/lispref/searching.texi @ 110003:336e4a38a76d

Merge from mainline.
author Katsumi Yamaoka <yamaoka@jpl.org>
date Tue, 24 Aug 2010 22:45:30 +0000
parents 71353caf35e3
children 37b955157790 376148b31b5e
line wrap: on
line diff