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 /.gitignore | |
| parent | 0386265191303ca71d054e5f868d2a9e92f30fc5 (diff) | |
| download | compcert-kvx-ff9fedbbcc45993dfe2c4f0a372596782603921c.tar.gz compcert-kvx-ff9fedbbcc45993dfe2c4f0a372596782603921c.zip | |
Ignore .merlin files. Bug 17742
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -10,6 +10,7 @@ *.cmxa *.cmti *.cmt +*.merlin # Emacs saves *~ # Executables and configuration |