diff options
| author |  Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-08-26 10:46:18 +0200 |
|---|---|---|
| committer | Pierre Boutillier <pierre.boutillier@ens-lyon.org> | 2014-08-26 17:48:50 +0200 |
| commit | a410de733817ff337cfae1e305cb0283ccebecb1 (patch) | |
| tree | c796acc24d9effc80fd1702595165a764c94d972 /.gitignore | |
| parent | bcfd854d7a6e012ac6bf116487a59a0f997725ee (diff) | |
Configure.ml creates metadata to annotate MacOS binaries
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index cb5e7c818..b91f40129 100644 --- a/.gitignore +++ b/.gitignore @@ -47,6 +47,7 @@ plugins/*/*_mod.ml myocamlbuild_config.ml config/Makefile config/coq_config.ml +config/Info-*.plist dev/ocamldebug-coq plugins/micromega/csdpcert kernel/byterun/dllcoqrun.so |