Get rid of a bunch of obsolete utilities.
authorSteve Reinhardt <stever@eecs.umich.edu>
Sun, 5 Jun 2005 06:26:06 +0000 (02:26 -0400)
committerSteve Reinhardt <stever@eecs.umich.edu>
Sun, 5 Jun 2005 06:26:06 +0000 (02:26 -0400)
commit966ae300dbdc1e00ff1ff656ac0c9fd9589a7166
tree083da75a11e028a1a2963ec5f731b5eee2b8fdcb
parent4f8cab04d4155e76445fefdfb6bba38d8a5aee6b
Get rid of a bunch of obsolete utilities.

--HG--
extra : convert_revision : 6ffe39211b6c9cc55f2decd2f1fbdba9ea0fabcd