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 /Makefile | |
| parent | 89f6ba911100ba095e17aefbb0f64004f133dc17 (diff) | |
| download | compcert-6c228c9ac5ddd93d02698e7da4c4cba053c6a1ca.tar.gz compcert-6c228c9ac5ddd93d02698e7da4c4cba053c6a1ca.zip | |
Removed more not needed attributes.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions