diff doc/lispref/searching.texi @ 109531:1b2674e70efe

Merge from mainline.
author Katsumi Yamaoka <katsumi@flagship2>
date Sun, 25 Jul 2010 10:16:08 +0000
parents 71353caf35e3
children 37b955157790 376148b31b5e
line wrap: on
line diff