Bug fix in ranked search. Use=Any keys inserted.
authorAdam Dickmeiss <adam@indexdata.dk>
Wed, 4 Oct 1995 12:55:16 +0000 (12:55 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Wed, 4 Oct 1995 12:55:16 +0000 (12:55 +0000)
commit7e928bc31abe214023a0fc61d77b092f4ee9ba7e
tree89b13253b2d11cdf0c193ad24a02e81cd4622731
parent3dfdd7ea2aa006fd41a62ac45c58035633248807
Bug fix in ranked search. Use=Any keys inserted.
index/extract.c
index/zrpn.c