From c6a144fc76fca5a182c3bf89bcac780da1358a8d Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub
Date: Fri, 17 Mar 2017 09:38:52 +0100
Subject: .gitignore (ssrmatching.v)

---
 .gitignore | 2 ++
 1 file changed, 2 insertions(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index fda722f..53ecc2e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,11 +12,13 @@ Make*.coq.bak
 mathcomp/ssreflect/ssreflect.ml4
 mathcomp/ssreflect/ssrmatching.ml4
 mathcomp/ssreflect/ssrmatching.mli
+mathcomp/ssreflect/ssrmatching.v
 mathcomp/ssreflect/ssreflect_plugin.mllib
 mathcomp/ssreflect/ssreflect_plugin.mlpack
 mathcomp/ssreflect.ml4
 mathcomp/ssrmatching.ml4
 mathcomp/ssrmatching.mli
+mathcomp/ssrmatching.v
 mathcomp/ssreflect_plugin.mllib
 mathcomp/ssreflect_plugin.mlpack
 mathcomp-*.tar.gz
-- 
cgit v1.2.3