From 452e49f65cd710137d963a603e1ff336b80e1432 Mon Sep 17 00:00:00 2001
From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
Date: Wed, 1 Feb 2017 07:18:20 +0100
Subject: [PATCH] ignore

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

diff --git a/.gitignore b/.gitignore
index fc5a97dfc..afeb90153 100644
--- a/.gitignore
+++ b/.gitignore
@@ -222,6 +222,7 @@ pvsbin/
 /plugins/python/examples/mult/
 /plugins/python/examples/dicho/
 /plugins/python/examples/sort/
+/plugins/python/examples/sort++/
 
 # /drivers
 /drivers/coq-realizations.aux
-- 
GitLab