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/build.sh | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 src/nbc/build.sh

(limited to 'src/nbc/build.sh')

diff --git a/src/nbc/build.sh b/src/nbc/build.sh
deleted file mode 100644
index 3328271..0000000
--- a/src/nbc/build.sh
+++ /dev/null
@@ -1,4 +0,0 @@
-#! /bin/sh -v
-mllex substitution.lex
-mlyacc substitution.grm
-mlton -link-opt -lJudy -link-opt -lz score.mlb gzip.c
-- 
cgit v1.2.3