From f4f4138112117495001142b2d42920bef309fe21 Mon Sep 17 00:00:00 2001
From: Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr>
Date: Sun, 21 Jun 2020 08:12:09 +0200
Subject: Compiler.v in .gitignore

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

(limited to '.gitignore')

diff --git a/.gitignore b/.gitignore
index b19ece42..1eb13a29 100644
--- a/.gitignore
+++ b/.gitignore
@@ -72,6 +72,7 @@
 /lib/Tokenize.ml
 /lib/Responsefile.ml
 /driver/Version.ml
+/driver/Compiler.v
 # Documentation
 /doc/coq2html
 /doc/coq2html.ml
-- 
cgit