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, 7 insertions, 0 deletions
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 |