diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-07 14:45:37 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-12-07 14:45:37 +0100 |
| commit | ff9fedbbcc45993dfe2c4f0a372596782603921c (patch) | |
| tree | 9a42b6a52b6bd7aa289e318dbba5b2fbb89ea059 /cfrontend/C2C.ml | |
| parent | 0386265191303ca71d054e5f868d2a9e92f30fc5 (diff) | |
| download | compcert-ff9fedbbcc45993dfe2c4f0a372596782603921c.tar.gz compcert-ff9fedbbcc45993dfe2c4f0a372596782603921c.zip | |
Ignore .merlin files. Bug 17742
Diffstat (limited to 'cfrontend/C2C.ml')
0 files changed, 0 insertions, 0 deletions