From fedc13efd29b1a396d4ed23fabced24106239f42 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Sun, 31 Dec 2017 15:16:01 -0500
Subject: Ignore generated test-suite/output/MExtraction.out

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 27ac0631a..1e7f982a5 100644
--- a/.gitignore
+++ b/.gitignore
@@ -85,6 +85,7 @@ test-suite/coq-makefile/merlin1/.merlin
 test-suite/coqdoc/Coqdoc.*
 test-suite/coqdoc/index.html
 test-suite/coqdoc/coqdoc.css
+test-suite/output/MExtraction.out
 
 # documentation
 
-- 
cgit v1.2.3