New settings: smallSetElementSetNames and mediumSetElementSetNames.
authorAdam Dickmeiss <adam@indexdata.dk>
Wed, 18 Oct 1995 16:42:37 +0000 (16:42 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Wed, 18 Oct 1995 16:42:37 +0000 (16:42 +0000)
commit343e22f495edc668d0302488e64bf6b3874e536d
treef0b9b87681f443df623cf46163cbb34a21e0a69e
parentf490e9fbefdbf6ba1531eb3fba33467e55ac446c
New settings: smallSetElementSetNames and mediumSetElementSetNames.
client.tcl
ir-tcl.c
ir-tclp.h