Minor changes in search API.
authorAdam Dickmeiss <adam@indexdata.dk>
Tue, 22 Sep 1998 10:48:18 +0000 (10:48 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Tue, 22 Sep 1998 10:48:18 +0000 (10:48 +0000)

No differences found