From 8d3a48a81951bd278a56fbd8093085331bf02319 Mon Sep 17 00:00:00 2001
From: Martin Uecker <uecker@eecs.berkeley.edu>
Date: Wed, 29 Oct 2014 09:31:09 -0700
Subject: [PATCH] add empty lib directory (using the .gitignore trick)

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

diff --git a/lib/.gitignore b/lib/.gitignore
new file mode 100644
index 000000000..5e7d2734c
--- /dev/null
+++ b/lib/.gitignore
@@ -0,0 +1,4 @@
+# Ignore everything in this directory
+*
+# Except this file
+!.gitignore