Added proximity operator.
authorAdam Dickmeiss <adam@indexdata.dk>
Mon, 11 Nov 1996 13:15:29 +0000 (13:15 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Mon, 11 Nov 1996 13:15:29 +0000 (13:15 +0000)

No differences found