From 6e60934263e8e52fc6212a7c9fc0d6b243098b09 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Sun, 21 Jun 2020 00:19:03 -0400
Subject: Add a generated file to .gitignore

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index 0c7a8f70f6..557655317c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -92,6 +92,7 @@ test-suite/coqdoc/coqdoc.css
 test-suite/output/MExtraction.out
 test-suite/output/*.out.real
 test-suite/oUnit-anon.cache
+test-suite/redirect_test.out
 test-suite/unit-tests/**/*.test
 
 # documentation
-- 
cgit v1.2.3