diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2021-12-04 11:45:24 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-04-25 16:38:45 +0200 |
commit | 111fda0f629b68138f9d816a4e6a86f7c292f2a2 (patch) | |
tree | 485236387014b3036ca877425534572f2a5077eb /flocq/IEEE754 | |
parent | 9aacc59135071a979623ab177819cdbe9ce27056 (diff) | |
download | compcert-111fda0f629b68138f9d816a4e6a86f7c292f2a2.tar.gz compcert-111fda0f629b68138f9d816a4e6a86f7c292f2a2.zip |
Ignore .coq-native directories.
Diffstat (limited to 'flocq/IEEE754')
0 files changed, 0 insertions, 0 deletions