Undo accidental Makefile modification
authorAndrew Waterman <waterman@cs.berkeley.edu>
Thu, 3 Mar 2016 18:49:57 +0000 (10:49 -0800)
committerAndrew Waterman <waterman@cs.berkeley.edu>
Thu, 3 Mar 2016 19:03:59 +0000 (11:03 -0800)
commit31f39a39dffbdb810b18721bece5c233b91577eb
treebfa24df9a8b016c01434c8985207a5c228a1e643
parentc9cafde3d3b8075031c0786a589a05ad54732a5d
Undo accidental Makefile modification
isa/Makefile