Bug fix: Sometimes the databaseNames were duplicated.
authorAdam Dickmeiss <adam@indexdata.dk>
Fri, 11 Oct 1996 13:16:34 +0000 (13:16 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Fri, 11 Oct 1996 13:16:34 +0000 (13:16 +0000)

No differences found