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 /pg | |
parent | 0386265191303ca71d054e5f868d2a9e92f30fc5 (diff) | |
download | compcert-ff9fedbbcc45993dfe2c4f0a372596782603921c.tar.gz compcert-ff9fedbbcc45993dfe2c4f0a372596782603921c.zip |
Ignore .merlin files. Bug 17742
Diffstat (limited to 'pg')
0 files changed, 0 insertions, 0 deletions