From d96d0cb47ae6d0e2fb835a1b3d06ed6136bc5395 Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Date: Wed, 5 Sep 2012 14:51:01 +0200
Subject: [PATCH] make room for a private myexp/ dir

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

diff --git a/.gitignore b/.gitignore
index 702cc6ca1..cc8cb2325 100644
--- a/.gitignore
+++ b/.gitignore
@@ -49,3 +49,4 @@ Module.symvers
 TAGS
 cscope.*
 tags
+myexp/
-- 
2.47.0