From e73d5db97cdb22cce2ee479469f62af3c4b6264a Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 8 Jul 2016 14:43:57 +0200
Subject: Port to Coq 8.5pl2

Manual merging of branch jhjourdan:coq8.5.
No other change un functionality.
---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index d05ff07f..9a85f487 100644
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,7 @@
 *.cmx
 *.cma
 *.cmxa
+.*.aux
 *.cmti
 *.cmt
 *.merlin
-- 
cgit