From c962db0783caec9d00a3fe3b01733f1660305834 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 13 Jan 2009 15:23:48 -0500 Subject: Combine lib* directories --- lib/c/.dir | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 lib/c/.dir (limited to 'lib/c/.dir') diff --git a/lib/c/.dir b/lib/c/.dir new file mode 100644 index 00000000..e69de29b -- cgit v1.2.3