util: delete old unused style-checking scripts
Review Request #3300 - Created Jan. 26, 2016 and submitted
| Information | |
|---|---|
| Steve Reinhardt | |
| gem5 | |
| default | |
| Reviewers | |
| Default | |
Changeset 11310:a9ddb62577e4
---------------------------
util: delete old unused style-checking scriptsThe functions in these scripts were apparently folded into style.py but the
old scripts were orphaned without being deleted. Get rid of them so their
existence is no longer confusing.
Ship It!