blob: 8919a713646e78188400277e453567588f1209b3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
--- src/Apps/Copy/copy.cm.orig Sat Jun 26 02:43:00 2004
+++ src/Apps/Copy/copy.cm Sat Sep 8 11:39:39 2007
@@ -1,5 +1,10 @@
Group is
+#if (SMLNJ_MINOR_VERSION > 40)
copyEncode.sml
+ $/basis.cm
+#else
+ copyEncode.orig.sml
+#endif
copyOptions.sml
copyOutput.sml
copyHooks.sml
|
