Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2003-03-29 | Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz. | jmmv | 1 | -2/+2 |
2003-03-21 | Update to 110.42, from Christopher Richards in connection with PR 18678. | wiz | 12 | -97/+191 |
2003-03-21 | Reimport sml-nj as smlnj, which is the name commonly used by the community. | wiz | 10 | -0/+764 |