Merge branch 'gen_proofmode' of gitlab.mpi-sws.org:FP/iris-coq into gen_proofmode

4f0d9d0e · Jacques-Henri Jourdan · 75272b9c · 6696fb9c · 4f0d9d0e
Commit 4f0d9d0e authored Dec 21, 2017 by Jacques-Henri Jourdan
--- a/.gitignore
+++ b/.gitignore
@@ -8,6 +8,7 @@
 .\#*
 *~
 *.bak
+.coqdeps.d
 .coq-native/
 build-dep/
 Makefile.coq