From e52d4cc9b8e7565275195511db739d7485df1f60 Mon Sep 17 00:00:00 2001 From: dholland Date: Sun, 3 Jul 2016 19:23:23 +0000 Subject: Remove leftover file. This is not used, which is good because it's also out of date. --- lang/smlnj/files/targets | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 lang/smlnj/files/targets (limited to 'lang/smlnj/files') diff --git a/lang/smlnj/files/targets b/lang/smlnj/files/targets deleted file mode 100644 index 2837dc51d82..00000000000 --- a/lang/smlnj/files/targets +++ /dev/null @@ -1,15 +0,0 @@ -request ml-yacc -request ml-lex -request ml-burg -request smlnj-lib -request pgraph-util -request cml -request cml-lib -request eXene -request ckit -#if !defined(__powerpc__) -request ml-nlffi-lib -request ml-nlffigen -#endif -request mlrisc-tools -request nowhere -- cgit v1.2.3