diff options
| author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-01-04 11:07:37 +0100 |
|---|---|---|
| committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-01-04 11:07:37 +0100 |
| commit | e7fa1950201c72d318fdd1eeffc545facb179ab8 (patch) | |
| tree | 63361ad8202ef119289e88bc396a6f830f698a8e /configure | |
| parent | 88ab4a25f2f1817939bbc027df95037787b618e2 (diff) | |
| download | compcert-kvx-e7fa1950201c72d318fdd1eeffc545facb179ab8.tar.gz compcert-kvx-e7fa1950201c72d318fdd1eeffc545facb179ab8.zip | |
lia instead of omega in lib
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions