diff options
Diffstat (limited to 'textproc/sml-fxp/files/patch-src-config.sml')
| -rw-r--r-- | textproc/sml-fxp/files/patch-src-config.sml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/textproc/sml-fxp/files/patch-src-config.sml b/textproc/sml-fxp/files/patch-src-config.sml deleted file mode 100644 index e715593b22e6..000000000000 --- a/textproc/sml-fxp/files/patch-src-config.sml +++ /dev/null @@ -1,9 +0,0 @@ ---- src/config.sml.orig Fri Sep 7 21:35:49 2007 -+++ src/config.sml Fri Sep 7 21:36:17 2007 -@@ -15,5 +15,5 @@ - (* val retrieveCommand = "got_it -o %2 %1" *) - (* val retrieveCommand = "urlget -s -o %2 %1" *) - (*---------------------------------------------------------------------*) -- val retrieveCommand = "wget -qO %2 %1" -+ val retrieveCommand = "fetch -qo %2 %1" - end |