From 66df9050edb8c1fe10992a58f2ec51957cf03449 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Thu, 9 May 2019 12:44:28 +0000
Subject: Ignore generated dune file for Ltac2

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

diff --git a/.gitignore b/.gitignore
index 5264968e95..5339a0c44d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -167,6 +167,7 @@ ide/index_urls.txt
 
 /user-contrib/*
 !/user-contrib/Ltac2
+
 .*.sw*
 .#*
 
@@ -184,5 +185,6 @@ plugins/*/dune
 theories/*/dune
 theories/*/*/dune
 theories/*/*/*/dune
+/user-contrib/Ltac2/dune
 *.install
 !Makefile.install
-- 
cgit v1.2.3