summaryrefslogtreecommitdiff
path: root/lang/smlnj11072/files
AgeCommit message (Expand)AuthorFilesLines
2016-07-03Store brand new configs in ${FILESDIR}, not as patches.dholland2-0/+50
2016-07-03Remove leftover file. This is not used, which is good because it'sdholland1-15/+0
2016-07-03Add a copy of smlnj from before the last update (so, 110.72) becausedholland1-0/+15