diff options
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 |