diff options
| author | Steve Reinhardt <steve.reinhardt@amd.com> | 2016-02-06 17:21:18 -0800 |
|---|---|---|
| committer | Steve Reinhardt <steve.reinhardt@amd.com> | 2016-02-06 17:21:18 -0800 |
| commit | 9979355539fce2314495b421f79dcc86f95a6170 (patch) | |
| tree | fe31d3b16df6b9a60d1d5969bcf058f856ee93e6 /src/dev | |
| parent | 24da47cf96e0914cac550d66534860266a2a3280 (diff) | |
| download | gem5-9979355539fce2314495b421f79dcc86f95a6170.tar.xz | |
util: delete old unused style-checking scripts
The 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.
Diffstat (limited to 'src/dev')
0 files changed, 0 insertions, 0 deletions