From e620921ba0caf8129bccdd43cdb785670d15ac24 Mon Sep 17 00:00:00 2001
From: Thomas Applencourt <t.applencourt@gmail.com>
Date: Thu, 26 Mar 2015 20:34:02 +0100
Subject: [PATCH] Add *.mod and *.p in gitignore

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

diff --git a/.gitignore b/.gitignore
index cdcdc6d8..2a924323 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,3 +7,5 @@ bin/
 quantum_package_static.tar.gz
 resultsFile
 opam_installer.sh
+*.mod
+*.p
\ No newline at end of file