aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lang/sml-nj-devel/Makefile2
-rw-r--r--lang/sml-nj/Makefile2
2 files changed, 2 insertions, 2 deletions
diff --git a/lang/sml-nj-devel/Makefile b/lang/sml-nj-devel/Makefile
index 01db99cf70c1..7a44e0ed3e14 100644
--- a/lang/sml-nj-devel/Makefile
+++ b/lang/sml-nj-devel/Makefile
@@ -3,7 +3,7 @@
# Date created: 7 July 1998
# Whom: jkoshy
#
-# $Id: Makefile,v 1.4 1998/11/22 04:46:10 jkoshy Exp $
+# $Id: Makefile,v 1.5 1999/02/02 03:52:32 jkoshy Exp $
#
DISTNAME= 110.9.1-bin.x86-unix
diff --git a/lang/sml-nj/Makefile b/lang/sml-nj/Makefile
index 01db99cf70c1..7a44e0ed3e14 100644
--- a/lang/sml-nj/Makefile
+++ b/lang/sml-nj/Makefile
@@ -3,7 +3,7 @@
# Date created: 7 July 1998
# Whom: jkoshy
#
-# $Id: Makefile,v 1.4 1998/11/22 04:46:10 jkoshy Exp $
+# $Id: Makefile,v 1.5 1999/02/02 03:52:32 jkoshy Exp $
#
DISTNAME= 110.9.1-bin.x86-unix