From f146771e768708c8dcc1219036bcc8c4a1645b3f Mon Sep 17 00:00:00 2001
From: Olivier Mangin <olivier.mangin@inria.fr>
Date: Wed, 23 Oct 2013 20:13:01 +0200
Subject: [PATCH] FIX .gitignore to not ignore lib/.

---
 .gitignore | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitignore b/.gitignore
index b5d9958..6e4e442 100644
--- a/.gitignore
+++ b/.gitignore
@@ -18,7 +18,6 @@ var
 sdist
 develop-eggs
 .installed.cfg
-lib
 lib64
 
 # Installer logs