diff options
| author | Michael Schmidt <github@mschmidt.me> | 2017-01-26 10:22:28 +0100 |
|---|---|---|
| committer | Michael Schmidt <github@mschmidt.me> | 2017-01-26 10:22:28 +0100 |
| commit | 66d4ba0f72518add12cd1cfb8ef2c40864f50bfe (patch) | |
| tree | a809ea52ee03f9d491c35cf9ef9c15dfbec3878b /arm | |
| parent | e7a5b00b7920ebf81591fc2f914483b6aa27269a (diff) | |
| download | compcert-66d4ba0f72518add12cd1cfb8ef2c40864f50bfe.tar.gz compcert-66d4ba0f72518add12cd1cfb8ef2c40864f50bfe.zip | |
describe -conf and -target
Diffstat (limited to 'arm')
0 files changed, 0 insertions, 0 deletions