Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2005-07-05 16:08:41 -0700 (Tue, 05 Jul 2005) Revision: 1185 Log message:
Killing an obsolete comment