diff options
author | Calvin Morrison <mutantturkey@gmail.com> | 2013-11-13 13:07:23 -0500 |
---|---|---|
committer | Calvin Morrison <mutantturkey@gmail.com> | 2013-11-13 13:07:23 -0500 |
commit | 9066ea884129957fe899d6d10cba1e17547214b9 (patch) | |
tree | aaa3ba9e0e507d9d13d8258def7585675e86f221 /src/nbc/stream.mlb | |
parent | ba07cda9cbf54d33b657d9ee30bc03c0b67f0b5f (diff) |
remove nbc:
Diffstat (limited to 'src/nbc/stream.mlb')
-rw-r--r-- | src/nbc/stream.mlb | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/nbc/stream.mlb b/src/nbc/stream.mlb deleted file mode 100644 index 639facc..0000000 --- a/src/nbc/stream.mlb +++ /dev/null @@ -1,6 +0,0 @@ -local - $(SML_LIB)/basis/basis.mlb - promise.mlb -in - stream.sml -end |