diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-08 16:24:48 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-08 16:24:48 +0100 |
| commit | 4a3a66fca16b2094ff9c3f27fcaf0a70983663c3 (patch) | |
| tree | ec8c8044f5da5f597faad8f76f5f12e43b583456 /test/monniaux/BearSSL/src | |
| parent | 4206ca72bb9abf32949e4d31983762e46ef114ad (diff) | |
| download | compcert-kvx-4a3a66fca16b2094ff9c3f27fcaf0a70983663c3.tar.gz compcert-kvx-4a3a66fca16b2094ff9c3f27fcaf0a70983663c3.zip | |
disable useless warnings
Diffstat (limited to 'test/monniaux/BearSSL/src')
0 files changed, 0 insertions, 0 deletions