Changes by: Aleksey Nogin (nogin at cs.caltech.edu) Date: 2005-08-31 23:11:02 -0700 (Wed, 31 Aug 2005) Revision: 1455 Log message:
Removing an unused file.