diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-27 10:09:17 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-27 10:09:17 +0100 |
| commit | 61639db3a2b958240d764befbb22213cb77284af (patch) | |
| tree | e81541c5257e8ca1a857b670bdb2893e4cdb1265 /test/.gitignore | |
| parent | f5beb55d283078afc2ce782201aef464c10b2e8f (diff) | |
| download | compcert-kvx-61639db3a2b958240d764befbb22213cb77284af.tar.gz compcert-kvx-61639db3a2b958240d764befbb22213cb77284af.zip | |
put both compilers in their best mood
Diffstat (limited to 'test/.gitignore')
0 files changed, 0 insertions, 0 deletions