Commit graph

1 commit

Author SHA1 Message Date
wiz
a0bce01167 Reimport sml-nj as smlnj, which is the name commonly used by the community.
Suggested by Christopher Richards in connection with PR 18678.
2003-03-21 22:20:55 +00:00