From dd38d0d1dda2be42bf280aeca110542f2f2fef1b Mon Sep 17 00:00:00 2001
From: Calvin <calvin@EESI>
Date: Tue, 28 May 2013 10:47:11 -0400
Subject: removed files

---
 src/nbc/history.mlb | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 src/nbc/history.mlb

(limited to 'src/nbc/history.mlb')

diff --git a/src/nbc/history.mlb b/src/nbc/history.mlb
deleted file mode 100644
index e7103cc..0000000
--- a/src/nbc/history.mlb
+++ /dev/null
@@ -1,5 +0,0 @@
-local
-	$(SML_LIB)/basis/basis.mlb
-in
-	history.sml
-end
-- 
cgit v1.2.3