From e54d9691616b9a0326e2fdb3156bb4eeb8abfcd7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 30 Sep 2007 08:01:00 -0700
Subject: Version abc70930

---
 src/bdd/epd/module.make | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 src/bdd/epd/module.make

(limited to 'src/bdd/epd/module.make')

diff --git a/src/bdd/epd/module.make b/src/bdd/epd/module.make
deleted file mode 100644
index a8084db1..00000000
--- a/src/bdd/epd/module.make
+++ /dev/null
@@ -1 +0,0 @@
-SRC +=  src/bdd/epd/epd.c
-- 
cgit v1.2.3