Bug fix: Didn't handle unknown database correctly.
authorAdam Dickmeiss <adam@indexdata.dk>
Tue, 28 May 1996 15:15:01 +0000 (15:15 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Tue, 28 May 1996 15:15:01 +0000 (15:15 +0000)
commit3c959bd2d43fa0a5d707895a742d7b9b8779ba21
tree2d40ed7248bad93fbdebf05b437566a4a666d8ec
parent3eb26862c3e82f9332c75c9c560f1044f80bc778
Bug fix: Didn't handle unknown database correctly.
index/zrpn.c