diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-18 14:32:22 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-18 14:32:22 +0100 |
commit | c8287e6578f313769c794fd407868b1ecb51c43f (patch) | |
tree | 4536804562f316d3bcf75ee1e38e33b98afcd08a /flocq/Core/Fcore_FTZ.v | |
parent | e11388aac1f4f635e3c32d9b3200de16d779c630 (diff) | |
download | compcert-c8287e6578f313769c794fd407868b1ecb51c43f.tar.gz compcert-c8287e6578f313769c794fd407868b1ecb51c43f.zip |
One more cleanup in configure.
Diffstat (limited to 'flocq/Core/Fcore_FTZ.v')
0 files changed, 0 insertions, 0 deletions