Commit graph

2 commits

Author SHA1 Message Date
jtb
e1a5bec255 Make this work on powerpc. 2003-07-01 23:10:32 +00:00
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