comparison src/search.c @ 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 94626132135d
children c751765838ca dbe3f29e61d6
comparison
equal deleted inserted replaced
74043:2bd7a6d6a83f 74044:fd7d868143e8