diff options
-rw-r--r-- | lang/sml-nj-devel/Makefile | 2 | ||||
-rw-r--r-- | lang/sml-nj/Makefile | 2 |
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 |