diff options
Diffstat (limited to 'lang/sml-nj/Makefile')
| -rw-r--r-- | lang/sml-nj/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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 |