comparison lispref/searching.texi @ 74044:fd7d868143e8

Merge text from xresmini.
author Jan Djärv <jan.h.d@swipnet.se>
date Sat, 18 Nov 2006 14:46:40 +0000
parents 869dcf71ace3
children e7dacee7b66e 8dd8c8286063
comparison
equal deleted inserted replaced
74043:2bd7a6d6a83f 74044:fd7d868143e8