Delete some more unneeded files.
authorSteve Reinhardt <stever@eecs.umich.edu>
Thu, 9 Oct 2003 05:04:59 +0000 (22:04 -0700)
committerSteve Reinhardt <stever@eecs.umich.edu>
Thu, 9 Oct 2003 05:04:59 +0000 (22:04 -0700)
commitee3b92235f8628132f7cf05700563785d7256b55
treef8092c45985d47849fd9c41d8a498fe23e1b8108
parent9fe21a16b091374e9624012ba17c2c7c14516261
Delete some more unneeded files.

--HG--
extra : convert_revision : 1671391b9a7783196eabfdbd85ef9f46d40b56e9