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/dsd/module.make | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 src/bdd/dsd/module.make

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

diff --git a/src/bdd/dsd/module.make b/src/bdd/dsd/module.make
deleted file mode 100644
index f5e6673d..00000000
--- a/src/bdd/dsd/module.make
+++ /dev/null
@@ -1,6 +0,0 @@
-SRC +=    src/bdd/dsd/dsdApi.c \
-    src/bdd/dsd/dsdCheck.c \
-    src/bdd/dsd/dsdLocal.c \
-    src/bdd/dsd/dsdMan.c \
-    src/bdd/dsd/dsdProc.c \
-    src/bdd/dsd/dsdTree.c
-- 
cgit v1.2.3