diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-20 18:16:06 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-20 18:16:06 +0200 |
commit | 6c228c9ac5ddd93d02698e7da4c4cba053c6a1ca (patch) | |
tree | 84e44f9a433124590e12645bb12d39b993fd4c47 /arm | |
parent | 89f6ba911100ba095e17aefbb0f64004f133dc17 (diff) | |
download | compcert-6c228c9ac5ddd93d02698e7da4c4cba053c6a1ca.tar.gz compcert-6c228c9ac5ddd93d02698e7da4c4cba053c6a1ca.zip |
Removed more not needed attributes.
Diffstat (limited to 'arm')
0 files changed, 0 insertions, 0 deletions