Fix Halibut warnings about merging distinct-case index terms.
authorjacob <jacob@cda61777-01e9-0310-a592-d414129be87e>
Tue, 15 Jun 2004 10:17:03 +0000 (10:17 +0000)
committerjacob <jacob@cda61777-01e9-0310-a592-d414129be87e>
Tue, 15 Jun 2004 10:17:03 +0000 (10:17 +0000)
commitb7a5df6665ba439c03e70e17a1fdbdce26680ddd
tree1f22f294afde3dec1e0bcc4b1a0e428944264884
parent4e52071832da4e142796c3741a529d07aa072b7b
Fix Halibut warnings about merging distinct-case index terms.

git-svn-id: svn://svn.tartarus.org/sgt/putty@4282 cda61777-01e9-0310-a592-d414129be87e
doc/index.but
doc/using.but