From a7af751bf2f7d9015d66f7837128732868572742 Mon Sep 17 00:00:00 2001 From: Joseph Koshy Date: Thu, 2 Jun 2005 08:08:41 +0000 Subject: Update to v110.54. Submitted by: Johannes 5 Joemann --- lang/sml-nj-devel/files/patch-config_allsources | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 lang/sml-nj-devel/files/patch-config_allsources (limited to 'lang/sml-nj-devel/files/patch-config_allsources') diff --git a/lang/sml-nj-devel/files/patch-config_allsources b/lang/sml-nj-devel/files/patch-config_allsources new file mode 100644 index 000000000000..0445636cfda5 --- /dev/null +++ b/lang/sml-nj-devel/files/patch-config_allsources @@ -0,0 +1,7 @@ +--- 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 -- cgit v1.2.3