From 4d7e2070103ec86c9be23fdc6eeda9a07567119e Mon Sep 17 00:00:00 2001
From: Pierre-Francois Loos <pierrefrancois.loos@gmail.com>
Date: Wed, 8 May 2019 09:13:11 +0200
Subject: [PATCH] add lib directory

---
 lib/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 lib/.gitignore

diff --git a/lib/.gitignore b/lib/.gitignore
new file mode 100644
index 0000000..10301e2
--- /dev/null
+++ b/lib/.gitignore
@@ -0,0 +1 @@
+*.a