16 Jun
2011
16 Jun
'11
7:10 p.m.
Version 1966 was commited by steve on 2011-06-16 20:10:42 +0100 (Thu, 16 Jun 2011) Do not uppercase names that go into the index. Leave them as they were in the input files (which will usually be already in uppercase of course).