From b474e39c2c21122de64a76e087508770763250f1 Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Tue, 7 May 2019 18:27:20 +0200
Subject: Fix gitignore for ltac2

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

diff --git a/.gitignore b/.gitignore
index 8fd9fc614c..5264968e95 100644
--- a/.gitignore
+++ b/.gitignore
@@ -165,7 +165,8 @@ ide/index_urls.txt
 # coqide generated files (when testing)
 *.crashcoqide
 
-user-contrib
+/user-contrib/*
+!/user-contrib/Ltac2
 .*.sw*
 .#*
 
-- 
cgit v1.2.3