diff options
author | Gabe Black <gblack@eecs.umich.edu> | 2011-02-15 23:22:32 -0800 |
---|---|---|
committer | Gabe Black <gblack@eecs.umich.edu> | 2011-02-15 23:22:32 -0800 |
commit | 9836972a13576bcc7e9bfdf1e61b1d71ecb01cb7 (patch) | |
tree | 38600e9732458287a84449711eac7ab575e3fca0 /ext | |
parent | fde8b5c3876ad431b193989ab64c802d1cec1ed0 (diff) | |
download | gem5-9836972a13576bcc7e9bfdf1e61b1d71ecb01cb7.tar.xz |
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.
Diffstat (limited to 'ext')
0 files changed, 0 insertions, 0 deletions