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

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

diff --git a/src/nbc/clean.sh b/src/nbc/clean.sh
deleted file mode 100644
index 58d95bf..0000000
--- a/src/nbc/clean.sh
+++ /dev/null
@@ -1,2 +0,0 @@
-#! /bin/sh -v
-rm substitution.lex.sml substitution.grm.sig substitution.grm.sml score
-- 
cgit v1.2.3