diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-04-28 15:17:32 +0200 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-04-28 15:17:32 +0200 |
commit | befe864384244c47f42d891068aba6f14287ff8e (patch) | |
tree | 471a0dd852839201f9de10608453926bd2b09c5f /runtime/c/i64_udivmod.c | |
parent | 53c1757eeb2a76bae796854b9437808ce7ac907e (diff) | |
download | compcert-befe864384244c47f42d891068aba6f14287ff8e.tar.gz compcert-befe864384244c47f42d891068aba6f14287ff8e.zip |
Always generate .merlin and _CoqProject files.
Diffstat (limited to 'runtime/c/i64_udivmod.c')
0 files changed, 0 insertions, 0 deletions