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 /Changelog | |
| parent | 53c1757eeb2a76bae796854b9437808ce7ac907e (diff) | |
| download | compcert-kvx-befe864384244c47f42d891068aba6f14287ff8e.tar.gz compcert-kvx-befe864384244c47f42d891068aba6f14287ff8e.zip | |
Always generate .merlin and _CoqProject files.
Diffstat (limited to 'Changelog')
0 files changed, 0 insertions, 0 deletions