diff options
Diffstat (limited to 'lang/sml-nj-devel/files/patch-config_allsources')
-rw-r--r-- | lang/sml-nj-devel/files/patch-config_allsources | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/lang/sml-nj-devel/files/patch-config_allsources b/lang/sml-nj-devel/files/patch-config_allsources deleted file mode 100644 index 0445636cfda5..000000000000 --- a/lang/sml-nj-devel/files/patch-config_allsources +++ /dev/null @@ -1,7 +0,0 @@ ---- config/allsources.orig Tue May 11 18:36:07 2004 -+++ config/allsources Wed Mar 9 23:16:54 2005 -@@ -23,3 +23,4 @@ - mlrisc - mlrisc-tools - smlnj-c -+tools |