[KinoSearch] [PATCH] bring dump_index up to date

[Marvin Humphrey]

On Mar 3, 2008, at 9:29 AM, Father Chrysostomos wrote:

[ a patch ]

Thanks!  Applied as r3104.

Rectangular Research
http://www.rectangular.com/