Util: Get rid of the make_release.py script.
authorGabe Black <gblack@eecs.umich.edu>
Wed, 16 Feb 2011 07:22:32 +0000 (23:22 -0800)
committerGabe Black <gblack@eecs.umich.edu>
Wed, 16 Feb 2011 07:22:32 +0000 (23:22 -0800)
commit9836972a13576bcc7e9bfdf1e61b1d71ecb01cb7
tree38600e9732458287a84449711eac7ab575e3fca0
parentfde8b5c3876ad431b193989ab64c802d1cec1ed0
Util: Get rid of the make_release.py script.

Since we're not doing releases any more we don't really need this script. If
we need it in the future, we can resurrect it from the history.
util/make_release.py [deleted file]