From 44b63eb13151ca5c3e83ee6a9e7eb6c0049c3758 Mon Sep 17 00:00:00 2001 From: Bernhard Schommer Date: Thu, 23 Feb 2017 13:53:39 +0100 Subject: Add a switch to generate a _CoqProject file. --- .gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 1d1ff9df..638906af 100644 --- a/.gitignore +++ b/.gitignore @@ -11,7 +11,6 @@ .*.aux *.cmti *.cmt -*.merlin # Emacs saves *~ # Executables and configuration @@ -23,6 +22,8 @@ clightgen.byte tools/ndfun tools/modorder Makefile.config +.merlin +_CoqProject # Generated files .depend .depend.extr -- cgit