From 2390819ea60d9f6b4aabb78083cb8a32b049c626 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 30 Jan 2010 20:21:15 -0500
Subject: Remove unneeded lib/c directory

---
 lib/c/.dir | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 lib/c/.dir

(limited to 'lib')

diff --git a/lib/c/.dir b/lib/c/.dir
deleted file mode 100644
index e69de29b..00000000
-- 
cgit v1.2.3